diff options
author | Carlos Martín Nieto <carlos@cmartin.tk> | 2011-10-04 02:30:01 +0400 |
---|---|---|
committer | Carlos Martín Nieto <carlos@cmartin.tk> | 2011-10-08 04:28:02 +0400 |
commit | 517bda196e711b8fdf39735e74112503bbd8fcee (patch) | |
tree | b4ed3c1df9460ebbcfdc2f1485a0f31b6d5a3678 /src/refs.h | |
parent | 4a3b18a62f99c836900c76d480ae33933098461c (diff) |
fetch: store FETCH_HEAD
We should always save the remote's HEAD as FETCH_HEAD locally.
Signed-off-by: Carlos Martín Nieto <carlos@cmartin.tk>
Diffstat (limited to 'src/refs.h')
-rw-r--r-- | src/refs.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/refs.h b/src/refs.h index 979af2ee2..c4b0b0e39 100644 --- a/src/refs.h +++ b/src/refs.h @@ -24,6 +24,7 @@ #define GIT_PACKEDREFS_HEADER "# pack-refs with: peeled " #define GIT_HEAD_FILE "HEAD" +#define GIT_FETCH_HEAD_FILE "FETCH_HEAD" #define GIT_MERGE_HEAD_FILE "MERGE_HEAD" #define GIT_REFS_HEADS_MASTER_FILE GIT_REFS_HEADS_DIR "master" |