Gentoo Archives: gentoo-dev

From: "Michał Górny" <mgorny@g.o>
To: gentoo-dev@l.g.o
Subject: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
Date: Tue, 11 Aug 2015 14:33:01
Message-Id: 20150811163240.0eb0229b@pomiot
Hello, everyone.

Now that we're officially on git and can officially use pull requests
to provide rapid community interaction, it'd be convenient to have
a little better framework for pinging package maintainers.

With the unofficial mirror/pull request project, I was either looking
for project member GitHub accounts and pinging found project members by
name, or talking to them directly on IRC. However, with the growth in
number of pull requests this will become more and more inconvenient.
Therefore, I think it's time to be able to mirror teams willing to work
with GitHub community there for easier 'pings'.

I have two ideas right now:

1. creating GitHub Gentoo project teams corresponding to willing Gentoo
teams,

2. preparing lists of GitHub usernames on project wiki pages.

Solution 1. is cleaner. In this case, we create GitHub teams under
the Gentoo projects, and add appropriate Gentoo developers having
GitHub accounts to the teams. Then, in PRs we can just ping the whole
team like @Gentoo/Qt or like.

Solution 2. avoids adding any GitHub teams. In this case, in team wiki
page we collect team member usernames like "@Pesa, @kensington, ..." so
we could copy-paste it to pull requests. We still require extra effort
when 'assigning' PRs but at least I don't have to lookup the same
people over and over again.

With some Wiki people help, we could even implement updating GitHub
teams automatically following Wiki member changes.

Your thoughts?

-- 
Best regards,
Michał Górny
<http://dev.gentoo.org/~mgorny/>

Replies