On Sat, 6 Jun 2009, Michael J Gruber wrote: > > This introduces a config setting remote.$remotename.pushurl which is > used for pushes only. If absent remote.$remotename.url is used for > pushes and fetches as before. Ack, looks sane to me. Linus -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html