Re: Proposal: branch.<name>.remotepush
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 7, 2013, 23:41 UTC
- Message-ID
- <7v38x766b2.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20130207233017.GD19397@google.com>
Jonathan Nieder <jrnieder@gmail.com> writes:
Show 8 quoted lines
> The usual incantation is "git push gerrit HEAD:refs/for/master". Is > the code review creation push that uses a different branchname from > the branch the integrator pulls what seems backward, or is it the need > to specify a refname at all on the command line? > > I agree that a "[branch "master"] pushremote" configuration would be > handy. pushremote instead of remotepush to be less surprising to > people who have already seen pushurl.
I'd actually see this as Gerrit being weird.
If it wants to quarantine a commit destined to the "master" branch, couldn't it just let people push to "master" and then internally update "for/master" instead?