chore: reorganise reposync role

This commit is contained in:
2023-11-18 20:08:16 +11:00
parent 8e5831fbef
commit dd334da2b0
2 changed files with 1 additions and 1 deletions