6 May
2013
6 May
'13
7:39 a.m.
On 6 May 2013 06:31, Dave Abrahams wrote:
I suppose Git has a way to blow the unwanted branches away from the system repo?
Blowing away branches in Git is trivial, if a little obscure:
git push <remote-name> :<branch-name>
Modern versions of Git also support this less obscure form: git push --delete <remote-name> <branch-name>