Re: "git push origin" requires extra setup in 1.6.3

[Patrick McCarty]

On Thu, Jul 09, 2009 at 02:58:17AM -0700, Patrick McCarty wrote:
> On Thu, Jul 09, 2009 at 01:49:12AM -0700, Graham Percival wrote:
> > Thanks for adding the info about .git/config
> > [push]
> >     default = matching
> > 
> > to the CG, Patrick!  Bloody git developers and their bloody
> > inconsistent commands / setup requirements...
> > 
> > Git gurus: could this config-file modification be avoided if we
> > use
> >   git push origin/master
> > ?  or using git push --all ?
> 
> The extra setup can be avoided by using
> 
>   git push origin master
> 
> as the default incantation instead.  This works for all git versions.

... And this assumes that you are pushing to the "master" branch.

When I push to "web-gop", I use this:

  git push origin web-gop

In the CG, should we say

  @example
  git push origin @var{branch}
  @end example

instead?

Thanks,
Patrick