diff options
author | Han-Wen Nienhuys <hanwen@google.com> | 2020-08-19 17:27:58 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-08-20 00:08:04 +0300 |
commit | e81153027857b0b0ed3dfa6a544df2beeac0cfce (patch) | |
tree | 91fb5e685935049d41bc0be408b27e2b33285f68 /refs.h | |
parent | 5085aef4c8e569e5d688d9f35790a2ca2c2f4c11 (diff) |
refs: read FETCH_HEAD and MERGE_HEAD generically
The FETCH_HEAD and MERGE_HEAD refs must be stored in a file, regardless of the
type of ref backend. This is because they can hold more than just a single ref.
To accomodate them for alternate ref backends, read them from a file generically
in refs_read_raw_ref()
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'refs.h')
0 files changed, 0 insertions, 0 deletions