Proposal to change branch maintenance

Jan Kratochvil jan.kratochvil@redhat.com
Mon Feb 18 16:16:00 GMT 2013


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



More information about the Archer mailing list