Refresh repository mirror from database when the repository's name has changed. (#3276)
parent
5aa2bf86f4
commit
25b3836418
Loading…
Reference in new issue