Re: KDE Github mirror members

2019-06-27 Thread Albert Vaca Cintora
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

2019-06-27 Thread Ben Cooksley
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

2019-06-27 Thread Vlad Zagorodniy

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

2019-06-26 Thread Valorie Zimmerman
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

2019-06-26 Thread Albert Vaca Cintora
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

2019-06-26 Thread Albert Vaca Cintora
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