On Thu, Jun 27, 2019 at 5:59 AM Ben Cooksley <bcooks...@kde.org> wrote: > > What it would allow though is for people to push commits to our > repositories on Github which may cause issues.
If I understand correctly, GitHub lets you create different user groups with different permissions. My proposal is to create a group with no permissions whatsoever, so pushing to our repos is not possible. Albert