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>
This commit is contained in:
Jeff King
2018-07-18 16:45:20 -04:00
committed by Junio C Hamano
parent 72470aa38a
commit 6ebd1cafe2
13 changed files with 14 additions and 14 deletions

View File

@ -806,7 +806,7 @@ void reset_shared_repository(void);
* $GIT_NO_REPLACE_OBJECTS is set, but is set to false by some
* commands that do not want replace references to be active.
*/
extern int check_replace_refs;
extern int read_replace_refs;
extern char *git_replace_ref_base;
extern int fsync_object_files;