mirror of
https://github.com/git/git.git
synced 2026-02-28 10:47:33 +00:00
Also exit gracefully if the HEAD pull failed, rather than use a possibly stale MERGE_HEAD.
1.4 KiB
Executable File
1.4 KiB
Executable File