Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
On Fri, Aug 14, 2015 at 2:01 AM, Michał Górny mgo...@gentoo.org wrote: Don't ask me. I was against keeping the official listings in MediaWiki, I already complained that we can't list developers who are refusing to create a Wiki account and that we lack any proper API to access those listings. Agree with the concern, but LDAP isn't really a full solution either. If we want to have team members who aren't developers they won't have LDAP entries in the first place. -- Rich
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
Dnia 2015-08-13, o godz. 23:56:23 Dean Stephens desult...@gentoo.org napisał(a): On 08/13/15 02:15, Michał Górny wrote: Dnia 2015-08-12, o godz. 22:43:24 Dean Stephens desult...@gentoo.org napisał(a): On 08/11/15 10:32, Michał Górny wrote: 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? Why not use LDAP? Because: a) LDAP is PITA, b) therefore almost nobody cares to update team listings except for occasional updates when they happen to need to change SSH keys or something, c) team listings in LDAP are cleartext and completely random. So, to rephrase, you intend to hammer another LDAP shaped peg into a wiki shaped hole because you can't be bothered to write some simple wrappers for managing the data in LDAP; though you are perfectly willing to offload work onto the wiki team to support your idea. Exactly why should that be considered an acceptable solution? Don't ask me. I was against keeping the official listings in MediaWiki, I already complained that we can't list developers who are refusing to create a Wiki account and that we lack any proper API to access those listings. Not to mention the second copy of partial metastructure in herds.xml which I wanted removed but people liked it very much, thank you. -- Best regards, Michał Górny http://dev.gentoo.org/~mgorny/ pgpsAAGuAvATL.pgp Description: OpenPGP digital signature
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
On 08/14/15 07:15, Rich Freeman wrote: On Fri, Aug 14, 2015 at 2:01 AM, Michał Górny mgo...@gentoo.org wrote: Don't ask me. I was against keeping the official listings in MediaWiki, I already complained that we can't list developers who are refusing to create a Wiki account and that we lack any proper API to access those listings. Agree with the concern, but LDAP isn't really a full solution either. If we want to have team members who aren't developers they won't have LDAP entries in the first place. That presupposes that all LDAP entries must be for current developers, that is already not the case. We already have LDAP entries for retired developers, why not have LDAP entries for people working with teams, but no yet recruited in the canonical sense? Might this blur the line between official and unofficial team members? Perhaps, but they are already doing the work and already being treated as team members by their respective teams without having been formally recruited so that line is blurred already Another option would be having entries for the teams as a whole, having a multiple value field for members of that team possibly just unofficial members. Though there are some fairly obvious ways that could get messy as well.
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On 08/11/2015 07:32 AM, Michał Górny wrote: 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? Sounds good, but my GitHub nick doesn't match my dev nick, and that nick is taken on GitHub. What do? - -- Daniel Campbell - Gentoo Developer OpenPGP Key: 0x1EA055D6 @ hkp://keys.gnupg.net fpr: AE03 9064 AE00 053C 270C 1DE4 6F7A 9091 1EA0 55D6 -BEGIN PGP SIGNATURE- Version: GnuPG v2 iQIcBAEBCAAGBQJVzEjGAAoJEAEkDpRQOeFwtagP/3TSjgxe/X2UoWelHfkWE55k KpmEhbzMBi6Q9WApJ2gv1700zmw2wh/M9xwjFgXor7jDY65opOq7mH1NWZ3Qt/nE e9BR+HxJ4sJLYAVmuXcV4yPK5VftK8kf2lq0XsiJh+jlCWOZ1opKf3wXJOcN9/1I xB9e3nG4i25Xk9XEIRLX0fWDcu03YvQjP11Zb/FxUYhc29gr0b3am7FLGGgeCUmo pRPLcPm+9JvxzCy0n9PofFgoZBtt7RFkOobK8aOC+MM1xSBoSf/r8iQ8bKLXrApY LB4YltxbTWCbFAi7dwmQInhbw73K4cIK1Id5UooiOkFnDz1o8FhKE9Y9jRlvsqMM rLgKBJD12ZwlDPSN5Zomu2U7A42hCQ8AemWaOBR6oyh/yiy8Jw1jKI7Apdi43EIU iA5DUGdvwpRd47N5LXQAXfVBw3t4GJzznyTgzpDAFLojqX22Q9jtmFXh/qi87d+f O2dyziqGwQyP06j1XxNvHLKaIidUCPwh+ienB9+J5JvokPVXPyhcwRKnfpsBRaWR B+98s7o8nJMhkgzGGIBdvSLlgs7PcIBnYemoqtTYTvIjGPCWEpSx1JK7KKV1Ueid qcmf48TAtdnFyJ0fpPFFyMbvUjFp88+mOrM3ziGWosTIRfWRQppNgnPhS5XRyTv1 ntkGum5DLHVN3ltpFEXS =Jgfc -END PGP SIGNATURE-
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
Dnia 2015-08-13, o godz. 00:35:39 Daniel Campbell (zlg) z...@gentoo.org napisał(a): -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On 08/11/2015 07:32 AM, Michał Górny wrote: 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? Sounds good, but my GitHub nick doesn't match my dev nick, and that nick is taken on GitHub. What do? Like most of the developers. Don't worry, we'll find you if you are in the organization. If you're not, we'd probably keep looking by surname. -- Best regards, Michał Górny http://dev.gentoo.org/~mgorny/ pgpMYKgxZJxIZ.pgp Description: OpenPGP digital signature
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
Dnia 2015-08-12, o godz. 22:43:24 Dean Stephens desult...@gentoo.org napisał(a): On 08/11/15 10:32, Michał Górny wrote: 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? Why not use LDAP? Because: a) LDAP is PITA, b) therefore almost nobody cares to update team listings except for occasional updates when they happen to need to change SSH keys or something, c) team listings in LDAP are cleartext and completely random. -- Best regards, Michał Górny http://dev.gentoo.org/~mgorny/ pgpb5klI8FvDV.pgp Description: OpenPGP digital signature
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
Dnia 2015-08-13, o godz. 22:53:11 Maxim Koltsov maksbo...@gentoo.org napisał(a): 11 авг. 2015 г. 17:33 пользователь Michał Górny mgo...@gentoo.org написал: 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? Hi Michał! Mirroring teams on GH is a great idea. I have a question though. Is it OK that highlight links from GH emails and GH pages (like '@gentoo/qt', etc) lead to GitHub's 404 page? It seems that team pages are only visible to team members and admins, for some reason. I don't see any option to change that so I suppose that's how GitHub works... -- Best regards, Michał Górny http://dev.gentoo.org/~mgorny/ pgppySBwUVQA5.pgp Description: OpenPGP digital signature
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
11 авг. 2015 г. 17:33 пользователь Michał Górny mgo...@gentoo.org написал: 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? Hi Michał! Mirroring teams on GH is a great idea. I have a question though. Is it OK that highlight links from GH emails and GH pages (like '@gentoo/qt', etc) lead to GitHub's 404 page? -- Best regards, Michał Górny http://dev.gentoo.org/~mgorny/
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
On 08/13/15 02:15, Michał Górny wrote: Dnia 2015-08-12, o godz. 22:43:24 Dean Stephens desult...@gentoo.org napisał(a): On 08/11/15 10:32, Michał Górny wrote: 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? Why not use LDAP? Because: a) LDAP is PITA, b) therefore almost nobody cares to update team listings except for occasional updates when they happen to need to change SSH keys or something, c) team listings in LDAP are cleartext and completely random. So, to rephrase, you intend to hammer another LDAP shaped peg into a wiki shaped hole because you can't be bothered to write some simple wrappers for managing the data in LDAP; though you are perfectly willing to offload work onto the wiki team to support your idea. Exactly why should that be considered an acceptable solution?
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
On 08/11/15 10:32, Michał Górny wrote: 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? Why not use LDAP?
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
2 cents from me in case of connection with contributions on github: - Someone should automate mirroring for https://github.com/gentoo/gnome - And review periodically pull requests there if there will be some... On 11.08.2015 18:32, Michał Górny wrote: 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?
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On 11/08/2015 16:32, Michał Górny wrote: 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 like the idea, sounds very handy 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. +1 imho, clean simple, only team and ppl willing to participate can get there 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? -BEGIN PGP SIGNATURE- Version: GnuPG v2 iF4EAREIAAYFAlXKCqsACgkQKiQSS7ZY+hNd9AD9FBXc16nF9sp2Xk1gBpXsduGt a2+f1tHSMN9ChSrCBM4A/Ao1nCfMNBEaI9WYBUOQ0Cti5hkjM9X66sMlnszsBahP =GS6Q -END PGP SIGNATURE-
[gentoo-dev] Mirroring Gentoo project/team members on GitHub
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/ pgpcKS2VQk_90.pgp Description: OpenPGP digital signature
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
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.
Re: [gentoo-dev] Mirroring Gentoo project/team members on GitHub
On Tue, Aug 11, 2015 at 04:32:40PM +0200, Michał Górny wrote: 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'. People can also use the git request-pull command to tell maintainers where to pull from, so I'm not sure that mirroring every team/member on github is necessary. William signature.asc Description: Digital signature