Gentoo Archives: gentoo-dev

From: "Daniel Campbell (zlg)" <zlg@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
Date: Thu, 13 Aug 2015 07:35:49
Message-Id: 55CC48CB.3080503@gentoo.org
In Reply to: [gentoo-dev] Mirroring Gentoo project/team members on GitHub by "Michał Górny"
1 -----BEGIN PGP SIGNED MESSAGE-----
2 Hash: SHA256
3
4 On 08/11/2015 07:32 AM, Michał Górny wrote:
5 > Hello, everyone.
6 >
7 > Now that we're officially on git and can officially use pull
8 > requests to provide rapid community interaction, it'd be convenient
9 > to have a little better framework for pinging package maintainers.
10 >
11 > With the unofficial mirror/pull request project, I was either
12 > looking for project member GitHub accounts and pinging found
13 > project members by name, or talking to them directly on IRC.
14 > However, with the growth in number of pull requests this will
15 > become more and more inconvenient. Therefore, I think it's time to
16 > be able to mirror teams willing to work with GitHub community there
17 > for easier 'pings'.
18 >
19 > I have two ideas right now:
20 >
21 > 1. creating GitHub Gentoo project teams corresponding to willing
22 > Gentoo teams,
23 >
24 > 2. preparing lists of GitHub usernames on project wiki pages.
25 >
26 > Solution 1. is cleaner. In this case, we create GitHub teams under
27 > the Gentoo projects, and add appropriate Gentoo developers having
28 > GitHub accounts to the teams. Then, in PRs we can just ping the
29 > whole team like @Gentoo/Qt or like.
30 >
31 > Solution 2. avoids adding any GitHub teams. In this case, in team
32 > wiki page we collect team member usernames like "@Pesa,
33 > @kensington, ..." so we could copy-paste it to pull requests. We
34 > still require extra effort when 'assigning' PRs but at least I
35 > don't have to lookup the same people over and over again.
36 >
37 > With some Wiki people help, we could even implement updating
38 > GitHub teams automatically following Wiki member changes.
39 >
40 > Your thoughts?
41 >
42
43 Sounds good, but my GitHub nick doesn't match my dev nick, and that
44 nick is taken on GitHub. What do?
45
46 - --
47 Daniel Campbell - Gentoo Developer
48 OpenPGP Key: 0x1EA055D6 @ hkp://keys.gnupg.net
49 fpr: AE03 9064 AE00 053C 270C 1DE4 6F7A 9091 1EA0 55D6
50 -----BEGIN PGP SIGNATURE-----
51 Version: GnuPG v2
52
53 iQIcBAEBCAAGBQJVzEjGAAoJEAEkDpRQOeFwtagP/3TSjgxe/X2UoWelHfkWE55k
54 KpmEhbzMBi6Q9WApJ2gv1700zmw2wh/M9xwjFgXor7jDY65opOq7mH1NWZ3Qt/nE
55 e9BR+HxJ4sJLYAVmuXcV4yPK5VftK8kf2lq0XsiJh+jlCWOZ1opKf3wXJOcN9/1I
56 xB9e3nG4i25Xk9XEIRLX0fWDcu03YvQjP11Zb/FxUYhc29gr0b3am7FLGGgeCUmo
57 pRPLcPm+9JvxzCy0n9PofFgoZBtt7RFkOobK8aOC+MM1xSBoSf/r8iQ8bKLXrApY
58 LB4YltxbTWCbFAi7dwmQInhbw73K4cIK1Id5UooiOkFnDz1o8FhKE9Y9jRlvsqMM
59 rLgKBJD12ZwlDPSN5Zomu2U7A42hCQ8AemWaOBR6oyh/yiy8Jw1jKI7Apdi43EIU
60 iA5DUGdvwpRd47N5LXQAXfVBw3t4GJzznyTgzpDAFLojqX22Q9jtmFXh/qi87d+f
61 O2dyziqGwQyP06j1XxNvHLKaIidUCPwh+ienB9+J5JvokPVXPyhcwRKnfpsBRaWR
62 B+98s7o8nJMhkgzGGIBdvSLlgs7PcIBnYemoqtTYTvIjGPCWEpSx1JK7KKV1Ueid
63 qcmf48TAtdnFyJ0fpPFFyMbvUjFp88+mOrM3ziGWosTIRfWRQppNgnPhS5XRyTv1
64 ntkGum5DLHVN3ltpFEXS
65 =Jgfc
66 -----END PGP SIGNATURE-----

Replies

Subject Author
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub "Michał Górny" <mgorny@g.o>