On Fri, Nov 07, 2014 at 04:31:08PM +0100, Christian Halstrick wrote: > In a repo where no remote.<name>.fetch config parameter is set what > should a "git fetch" do? My experiments let me think it's > "HEAD:FETCH_HEAD". Right?
Basically, yes. We always write FETCH_HEAD, regardless of the refspec. We choose "HEAD" if no other refspec was provided. So it is really more like git fetch $remote HEAD This is what makes one-off bare-url pulls work, like: git pull git://... It runs fetch under the hood, which writes into FETCH_HEAD, and then we merge that. -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
