[judge2020]

settings -> collaborators. If you aren't a owner/admin of the repo you can't see the users with push permission.