W dniu 2014-11-08 11:52, Jeff King pisze:
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.
Actually FETCH_HEAD consists of multiple lines, one per ref...
but only top ref is merged.
--
Jakub Narębski
--
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