Re: [PATCH] match_push_refs(): nobody sets src->peer_ref anymore

2013-03-04 Thread Jeff King
On Mon, Mar 04, 2013 at 02:36:33PM -0800, Junio C Hamano wrote: > In ancient times, we used to disallow the same source ref to be > pushed to more than one places, e.g. "git push there master:master > master:naster" was disallowed. We later lifted this restriction > with db27ee63929f (send-pack:

[PATCH] match_push_refs(): nobody sets src->peer_ref anymore

2013-03-04 Thread Junio C Hamano
In ancient times, we used to disallow the same source ref to be pushed to more than one places, e.g. "git push there master:master master:naster" was disallowed. We later lifted this restriction with db27ee63929f (send-pack: allow the same source to be pushed more than once., 2005-08-06) and there