Currently the tooling needs to ssh into git.debian to do a repo listing. Would be much nicer if we had a REST API doing this behind the scenes
Description
Description
Comment Actions
I am rather under the impression that we now use a REST API to list the repos for syncing. Jon would know I guess.