diff options
author | René Scharfe <l.s.r@web.de> | 2018-10-04 17:09:06 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-04 11:12:13 -0700 |
commit | bf73282c0b34bfc7772f952496b06150cceb5dae (patch) | |
tree | 9f1bf2d858ff46d5b8beec889730c368677fe3ea /Documentation/git-gui.txt | |
parent | Second batch post 2.19 (diff) | |
download | tgif-bf73282c0b34bfc7772f952496b06150cceb5dae.tar.xz |
fetch-pack: factor out is_unmatched_ref()
Move the code to determine if a request is unmatched to its own little
helper. This allows us to reuse it in a subsequent patch.
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-gui.txt')
0 files changed, 0 insertions, 0 deletions