Re: GitHub usernames in maintainers field

2017-02-11 Thread Joshua Root
On 2017-2-12 12:07 , Ryan Schmidt wrote: The mega $Id$ removal commit also exposed a limitation of the GitHub git-to-svn gateway, which we are using on our server in the mprsyncup script. I reported the limitation to GitHub and they said they would look into it but I don't know if they've

Re: GitHub usernames in maintainers field

2017-02-11 Thread Ryan Schmidt
I appreciate that we are making these changes slowly. This gives the buildbot time to catch up on other commits. I don't want to commit all maintainer-to-GitHub changes in one revision and then cancel the buildbot build, as we did with the $Id$ removal commit, because valuable builds are being

Re: GitHub usernames in maintainers field

2017-02-11 Thread Ryan Schmidt
On Feb 11, 2017, at 13:14, Mojca Miklavec wrote: > On 11 February 2017 at 20:05, Jeremy Huddleston Sequoia wrote: >> Do we have a mapping list somewhere, so we can just script this for known >> mappings? > > The list should be available on our Trac (at least for those who > logged in with