diff options
| author | David Turner <dturner@twopensource.com> | 2015-07-22 00:04:53 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-07-22 00:08:14 +0300 |
| commit | afcb2e7a3b855887e79d1ee6d70ec80ab6456a64 (patch) | |
| tree | 5c4413fe1e3a15342dee8e118dfa86c9e1f106dc /refs.h | |
| parent | abd0cd3a3018e1c4e9e4437fb3911d6658e99fec (diff) | |
git-reflog: add exists command
This is necessary because alternate ref backends might store reflogs
somewhere other than .git/logs. Code that now directly manipulates
.git/logs should instead go through git-reflog.
Signed-off-by: David Turner <dturner@twopensource.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'refs.h')
0 files changed, 0 insertions, 0 deletions