Jeff King writes:
> On Fri, Apr 19, 2013 at 12:50:48PM -0500, Jed Brown wrote:
>
>> Jeff King writes:
>>
>> > Try "git branch --merged master" to get a list of branches that have
>> > already been merged.
>>
>> That's what I use, but I was hoping for something more precise. For
>> example, a
On Fri, Apr 19, 2013 at 12:50:48PM -0500, Jed Brown wrote:
> Jeff King writes:
>
> > Try "git branch --merged master" to get a list of branches that have
> > already been merged.
>
> That's what I use, but I was hoping for something more precise. For
> example, a branch that started at 'maint'
Jeff King writes:
> Try "git branch --merged master" to get a list of branches that have
> already been merged.
That's what I use, but I was hoping for something more precise. For
example, a branch that started at 'maint' would show up there, but its
integration hasn't completed until it makes
On Fri, Apr 19, 2013 at 12:11:38PM -0500, Jed Brown wrote:
> Consider this workflow:
>
> $ git checkout -b my/branch
> hack, commit, ...
> $ git push -u origin my/branch
>
> The branch gets reviewed, merged, and eventually deleted upstream. The
> remote tracking branch gets pruned via 'git fetc
Consider this workflow:
$ git checkout -b my/branch
hack, commit, ...
$ git push -u origin my/branch
The branch gets reviewed, merged, and eventually deleted upstream. The
remote tracking branch gets pruned via 'git fetch --prune' or 'git
remote prune', but that leaves my local branch with an up
5 matches
Mail list logo