Subject: Re: [boost] Git Modularization Ready for Review
From: Jonathan Wakely (jwakely.boost_at_[hidden])
Date: 2013-05-06 03:39:23
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>