Re: KDE Github mirror members
On Thu, Jun 27, 2019 at 5:59 AM Ben Cooksley 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
Re: KDE Github mirror members
On Thu, Jun 27, 2019 at 9:09 PM Vlad Zagorodniy wrote: > > On 6/26/19 9:04 PM, Albert Vaca Cintora wrote: > > What do you think? It's just a cosmetic change (we don't need to give > > any permissions to the members we add to the org) but it's a nice one > > :) See for example the people in the Mozilla org [2]. > > > > Who can do this, and who else would be interested in being added? > > > > Hi, Hi Vlad, > > I think what matters is how many KDE projects are being developed on > GitHub. In case of Mozilla there are plenty of such projects. > > If we start adding members to the KDE organization, it will mean that > people can create pull requests. > > Unless PRs are disabled for projects that are exclusively being > developed on Phabricator (sigh), maybe it's a good idea to stay away > from adding members to the organization. At the moment it is already possible for people to send Pull Requests to our Github projects. These are automatically closed by a bot at the moment, except for the small handful of projects that have opted to accept Github Pull Requests. What it would allow though is for people to push commits to our repositories on Github which may cause issues. > > Cheers, > Vlad Regards, Ben
Re: KDE Github mirror members
On 6/26/19 9:04 PM, Albert Vaca Cintora wrote: What do you think? It's just a cosmetic change (we don't need to give any permissions to the members we add to the org) but it's a nice one :) See for example the people in the Mozilla org [2]. Who can do this, and who else would be interested in being added? Hi, I think what matters is how many KDE projects are being developed on GitHub. In case of Mozilla there are plenty of such projects. If we start adding members to the KDE organization, it will mean that people can create pull requests. Unless PRs are disabled for projects that are exclusively being developed on Phabricator (sigh), maybe it's a good idea to stay away from adding members to the organization. Cheers, Vlad
Re: KDE Github mirror members
On Wed, Jun 26, 2019 at 11:15 AM Albert Vaca Cintora wrote: > I've created an etherpad so we can collect the list of people who > wants to be added. > > Add your emails there (not your github handles): > > https://notes.kde.org/p/xl23vAB62f > > On Wed, Jun 26, 2019 at 2:04 PM Albert Vaca Cintora > wrote: > > > > Hi! > > > > I don't know who manages our Github account, but I want to propose we > > add ourselves as "members" [1] of the KDE org, so we can get the nice > > KDE badge on our Github profiles. > > > > I would be proud to have the KDE logo on my profile under the > > Organizations I belong to :) > > > > What do you think? It's just a cosmetic change (we don't need to give > > any permissions to the members we add to the org) but it's a nice one > > :) See for example the people in the Mozilla org [2]. > > > > Who can do this, and who else would be interested in being added? > > > > [1] https://github.com/orgs/KDE/people > > [2] https://github.com/orgs/mozilla/people > Although I don't personally use github, I value having a login there, and would like a KDE badge to go along with my Kubuntu-team one. I hope we get something cool like this on Gitlab too. Valorie
Re: KDE Github mirror members
I've created an etherpad so we can collect the list of people who wants to be added. Add your emails there (not your github handles): https://notes.kde.org/p/xl23vAB62f On Wed, Jun 26, 2019 at 2:04 PM Albert Vaca Cintora wrote: > > Hi! > > I don't know who manages our Github account, but I want to propose we > add ourselves as "members" [1] of the KDE org, so we can get the nice > KDE badge on our Github profiles. > > I would be proud to have the KDE logo on my profile under the > Organizations I belong to :) > > What do you think? It's just a cosmetic change (we don't need to give > any permissions to the members we add to the org) but it's a nice one > :) See for example the people in the Mozilla org [2]. > > Who can do this, and who else would be interested in being added? > > [1] https://github.com/orgs/KDE/people > [2] https://github.com/orgs/mozilla/people
KDE Github mirror members
Hi! I don't know who manages our Github account, but I want to propose we add ourselves as "members" [1] of the KDE org, so we can get the nice KDE badge on our Github profiles. I would be proud to have the KDE logo on my profile under the Organizations I belong to :) What do you think? It's just a cosmetic change (we don't need to give any permissions to the members we add to the org) but it's a nice one :) See for example the people in the Mozilla org [2]. Who can do this, and who else would be interested in being added? [1] https://github.com/orgs/KDE/people [2] https://github.com/orgs/mozilla/people