Check push permissions for xmlpipedb repository
Opened this issue · 0 comments
kdahlquist commented
@NAnguiano was able to push commits to the xmlpipedb repository from a different GitHub account that supposedly should have not rights. I can't find in the settings how to fix this. I checked a box about allowing only collaborators to edit, but I think that it was referring to the wiki, not the repository. @dondi, can you please look into this?