repo-updater: Handle renames in Git update scheduler
Created by: tsenart
This PR builds upon #3368. It makes the Git update scheduler handle renames of repos.
Part of #2025
Created by: tsenart
This PR builds upon #3368. It makes the Git update scheduler handle renames of repos.
Part of #2025