clone/update: include replace refs in clean mirrors
commit324651328162bc248d53c5d5a9c99dc2ea1767d3
authorKyle J. McKay <mackyle@gmail.com>
Mon, 23 Nov 2020 20:18:49 +0000 (23 13:18 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Mon, 23 Nov 2020 20:18:49 +0000 (23 13:18 -0700)
treefd180247b9b267e3fe9f02850961fed9f704219f
parent00e792cd46cec5020bd2fca6fe69d66845d1d88e
clone/update: include replace refs in clean mirrors

Although replace refs (see `git help replace`) may not be
commonly used, they can be shared and should any of the "clean"
refs use them, they need to be included.

Include the refs/replace/* namespace in the set of "clean refs"
when configuring a "clean" mirror.

As it's nontrivial to limit the replace refs to only those that
are actually used by the other "clean refs", this could end up
cloning extra stuff that is not logically part of a "clean" mirror.

This seems like a better solution than leaving them out since
that could result in a logically broken repository.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
jobd/update.sh
taskd/clone.sh