Age | Commit message (Collapse) | Author | Files | Lines |
|
Use "git fetch <repo> tag <tagname>" to get the named tag and everything
it points to.
|
|
We codify the following different heads (in addition to the main "HEAD",
which points to the current branch, of course):
- FETCH_HEAD
Populated by "git fetch"
- ORIG_HEAD
The old HEAD before a "git pull/resolve" (successful or not)
- LAST_MERGE
The HEAD we're currently merging in "git pull/resolve"
- MERGE_HEAD
The previous head of a unresolved "git pull", which gets committed by
a "git commit" after manually resolving the result
We used to have "MERGE_HEAD" be populated directly by the fetch, and we
removed ORIG_HEAD and LAST_MERGE too aggressively.
|
|
Don't continue with a merge if the fetch failed.
|
|
This allows you to just fetch stuff first, inspect it, and then
resolve the merge separately if everything looks good.
|