From mboxrd@z Thu Jan 1 00:00:00 1970 From: Josh Triplett Subject: Re: [PATCH] push: Alias pushurl from push rewrites Date: Wed, 27 Mar 2013 16:09:43 -0700 Message-ID: <20130327230943.GA5204@jtriplet-mobl1> References: <20130327122216.5de0c336@hoelz.ro> <20130327182345.GD28148@google.com> <20130327211554.GH28148@google.com> <7vsj3gjy3t.fsf@alter.siamese.dyndns.org> <20130327174845.5e3081d1@hoelz.ro> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cc: Junio C Hamano , Jonathan Nieder , git@vger.kernel.org To: Rob Hoelz X-From: git-owner@vger.kernel.org Thu Mar 28 00:10:30 2013 Return-path: Envelope-to: gcvg-git-2@plane.gmane.org Received: from vger.kernel.org ([209.132.180.67]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UKzU4-0001gZ-14 for gcvg-git-2@plane.gmane.org; Thu, 28 Mar 2013 00:10:20 +0100 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754718Ab3C0XJw (ORCPT ); Wed, 27 Mar 2013 19:09:52 -0400 Received: from relay4-d.mail.gandi.net ([217.70.183.196]:36880 "EHLO relay4-d.mail.gandi.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753182Ab3C0XJv (ORCPT ); Wed, 27 Mar 2013 19:09:51 -0400 Received: from mfilter15-d.gandi.net (mfilter15-d.gandi.net [217.70.178.143]) by relay4-d.mail.gandi.net (Postfix) with ESMTP id 682D3172089; Thu, 28 Mar 2013 00:09:49 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter15-d.gandi.net Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mfilter15-d.gandi.net (mfilter15-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024) with ESMTP id YUvHfvswo1nq; Thu, 28 Mar 2013 00:09:47 +0100 (CET) X-Originating-IP: 173.246.103.110 Received: from jtriplet-mobl1 (joshtriplett.org [173.246.103.110]) (Authenticated sender: josh@joshtriplett.org) by relay4-d.mail.gandi.net (Postfix) with ESMTPSA id 8EC4017207C; Thu, 28 Mar 2013 00:09:45 +0100 (CET) Content-Disposition: inline In-Reply-To: <20130327174845.5e3081d1@hoelz.ro> User-Agent: Mutt/1.5.21 (2010-09-15) Sender: git-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: git@vger.kernel.org Archived-At: On Wed, Mar 27, 2013 at 05:48:45PM -0500, Rob Hoelz wrote: > On Wed, 27 Mar 2013 15:07:18 -0700 > Junio C Hamano wrote: > > > Jonathan Nieder writes: > > > > > Sorry, typo. The configuration in the example above should have > > > been > > > > > > [url "git://anongit.myserver.example.com/"] > > > insteadOf = myserver.example.com: > > > [url "myserver.example.com:"] > > > pushInsteadOf = myserver.example.com: > > > > > > In other words, suppose I set url.*.insteadof to point to a faster > > > address for fetching alongside url.*.pushinsteadof requesting that > > > the original address should still be used for pushing. > > > > I didn't know we were even shooting for supporting the identity > > mapping: > > > > url.X.pushinsteadof=X > > > > but that would certainly be nice. > > > > By the way, it seems that the original commit 1c2eafb89bca (Add > > url..pushInsteadOf: URL rewriting for push only, 2009-09-07) > > wanted to explicitly avoid use of pushInsteadOf aliasing for a > > pushURL and it is also documented in config.txt from day one. > > > > I think the intent is "You have a normal URL, and a way to override > > it explicitly with pushURL, or a way to rewrite it via the aliasing > > the normal URL with pushInsteadOf. Either one or the other, but not > > both, as having many levels of indirection would be confusing." > > > > Which I can understand and sympathise. > > > > In anay case, the change proposed in this thread seems to change > > that, so the documentation would need to be updated. Also the tests > > the original commit adds explicitly checks that pushInsteadOf is > > ignored, which may have to be updated (unless that test is already > > broken). > > > > My use case is that I use Github for my personal development. I have a > prefix for my personal repos (hoelzro: -> git://github.com/hoelzro for > fetch, git@github.com:hoelzro/ for push) and one for all other Git repos > (github: -> git://github.com/) I have a few projects where I work in a > fork, but I want to fetch updates from the original project. So my url > for the origin remote is github:org/project, but my pushurl is > hoelzro:project. This behavior in Git currently doesn't allow me to > work that way. I used to work with two remotes; origin for my repo and > base for the official one, but I've found that I prefer this other way. > > The test that checked that pushInsteadOf + pushurl shouldn't work as I > expect was actually broken; I have removed it, updated the > documentation, and sent a new patch to the list. There's an argument for either behavior as valid. My original patch specifically documented and tested for the opposite behavior, namely that pushurl overrides any pushInsteadOf, because I intended pushInsteadOf as a fallback if you don't have an explicit pushurl set. For instance, you could use pushInsteadOf to rewrite a family of anonymous git URLs to corresponding pushable repositories, but then use an explicit pushurl to override that for a specific repository. This change would break the ability to use pushurl for its original intended purpose, namely having a local repository where fetch comes from one remote repo and push goes to another. One use case of mine: I have a .gitconfig in my git-managed home directory which sets pushInsteadOf so that I can clone via git:// and immediately have working push. I work with a number of systems that don't have inbound access to each other but do have outbound access to the network; on some of these "satellite" boxes, I can't push changes directly to the server pushInsteadOf points to, so I can explicitly set pushurl in .git/config for that repository, which overrides the pushInsteadOf. This change would break that configuration. - Josh Triplett