diff options
| author |  Jeff King <peff@peff.net> | 2018-07-18 16:45:20 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-07-18 15:45:14 -0700 |
| commit | 6ebd1cafe2bb1dee34e106a8da3ee173b36259d3 (patch) | |
| tree | c2ff7f8e11494cc0f12a5c56e6b7e1e88ddfa732 /builtin/remote-ext.c | |
| parent | check_replace_refs: fix outdated comment (diff) | |
| download | tgif-6ebd1cafe2bb1dee34e106a8da3ee173b36259d3.tar.xz | |
check_replace_refs: rename to read_replace_refs
This was added as a NEEDSWORK in c3c36d7de2 (replace-object:
check_replace_refs is safe in multi repo environment, 2018-04-11),
waiting for a calmer period. Since doing so now doesn't conflict
with anything in 'pu', it seems as good a time as any.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/remote-ext.c')
0 files changed, 0 insertions, 0 deletions