Eli Schwartz authored Nov 13, 2018 and Allan McRae committed Nov 28, 2018

repo-remove and repo-elephant don't care whether repo-add.sh.in is
updated... but they do require the repo-add target to be up to date, so
use that instead. As a bonus, use the same rule for both of them.