in https://docs.letsdisco.dev/get-started/set-up-your-server guide, we ask people to give us github access but what if they don't have a repo yet

[gregsadetsky]

if they don't have a repo, the only choice is to agree to all repos or a specific one... but which one?

this is at the bottom of
https://docs.letsdisco.dev/get-started/set-up-your-server