1 |
11 авг. 2015 г. 17:33 пользователь "Michał Górny" <mgorny@g.o> |
2 |
написал: |
3 |
> |
4 |
> Hello, everyone. |
5 |
> |
6 |
> Now that we're officially on git and can officially use pull requests |
7 |
> to provide rapid community interaction, it'd be convenient to have |
8 |
> a little better framework for pinging package maintainers. |
9 |
> |
10 |
> With the unofficial mirror/pull request project, I was either looking |
11 |
> for project member GitHub accounts and pinging found project members by |
12 |
> name, or talking to them directly on IRC. However, with the growth in |
13 |
> number of pull requests this will become more and more inconvenient. |
14 |
> Therefore, I think it's time to be able to mirror teams willing to work |
15 |
> with GitHub community there for easier 'pings'. |
16 |
> |
17 |
> I have two ideas right now: |
18 |
> |
19 |
> 1. creating GitHub Gentoo project teams corresponding to willing Gentoo |
20 |
> teams, |
21 |
> |
22 |
> 2. preparing lists of GitHub usernames on project wiki pages. |
23 |
> |
24 |
> Solution 1. is cleaner. In this case, we create GitHub teams under |
25 |
> the Gentoo projects, and add appropriate Gentoo developers having |
26 |
> GitHub accounts to the teams. Then, in PRs we can just ping the whole |
27 |
> team like @Gentoo/Qt or like. |
28 |
> |
29 |
> Solution 2. avoids adding any GitHub teams. In this case, in team wiki |
30 |
> page we collect team member usernames like "@Pesa, @kensington, ..." so |
31 |
> we could copy-paste it to pull requests. We still require extra effort |
32 |
> when 'assigning' PRs but at least I don't have to lookup the same |
33 |
> people over and over again. |
34 |
> |
35 |
> With some Wiki people help, we could even implement updating GitHub |
36 |
> teams automatically following Wiki member changes. |
37 |
> |
38 |
> Your thoughts? |
39 |
|
40 |
Hi Michał! |
41 |
Mirroring teams on GH is a great idea. I have a question though. |
42 |
Is it OK that highlight links from GH emails and GH pages (like |
43 |
'@gentoo/qt', etc) lead to GitHub's 404 page? |
44 |
|
45 |
> -- |
46 |
> Best regards, |
47 |
> Michał Górny |
48 |
> <http://dev.gentoo.org/~mgorny/> |