11.08.2015 17:32, Michał Górny пишет: > 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? >
First one more clear. Jut don't forget update it, when someone new join the team, as usual.
