cli: test deletion via `git push -d`
Ensure that remote branches can be delete via the -d flag. This
includes the fact that one can delete the refs/heads/patches
branches, as long as they are owned by the current operator.
Ensure that remote branches can be delete via the -d flag. This
includes the fact that one can delete the refs/heads/patches
branches, as long as they are owned by the current operator.
Rebase.