Git migration nearly complete

2017-06-11 Thread Ivan Vučica
Hi, I'm somewhat reasonably confident in the current conversion that we can probably open the floodgates at this point. Bulk of the subprojects have been converted. I've marked where I stopped with the pushes in the repolists.txt file[3]. I have stopped not because I don't have the repositories l

Re: Git migration nearly complete

2017-06-12 Thread Adam Fedor
> On Jun 11, 2017, at 5:20 PM, Ivan Vučica wrote: > > - long-standing contributors who've had commit access before should > send Gregory or me their Github username, so they can be added to the > gnustep org Hi Ivan, My GitHub account is adam.fe...@gmail.com Adam

Re: Git migration nearly complete

2017-06-13 Thread Ivan Vučica
That's the email address, not the username :) but I believe your username to be 'afedor' (which has appeared on many of the commits after I pushed them). If this is not the case, let me know ASAP. On Tue, Jun 13, 2017 at 4:31 AM, Adam Fedor wrote: > > On Jun 11, 2017, at 5:20 PM, Ivan Vučica w