KDE Github mirror members

[Albert Vaca Cintora]

On Thu, Jun 27, 2019 at 5:59 AM Ben Cooksley <bcooksley at 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