Proposal to change branch maintenance

[Jan Kratochvil]

On Mon, 18 Feb 2013 17:11:13 +0100, Tom Tromey wrote:
> I'm ok with changing this.
> Anybody else have comments on it?

+1

I already have:

git-push-f:

#! /bin/bash
set -ex
branch="$(git branch|sed -n 's/^[*] \([^()]*\)$/\1/p')"
test -n "$branch"
git push origin ":$branch"
git push origin "$branch"
echo OK


Jan