Hi On 03/11/2015 09:47 PM, Joshua Pettus wrote: > I managed to rename the github account name. (It was old and not really > what I wanted to use for xboard) the repo is now > > https://github.com/JoshuaPettus/xboard-OSX > > Sorry for any confusion. > > Anyway, do I send the pull request to H.G. as he is the active dev? I’d > hate to step on his shoes somewhere. Particularly with that infoProc move.
If you want HGM to have a look at them, he should pull from your github repo (adding it as a remote to his git tree) or review it on github. If you want to commit to savannah, I can pull and commit, but I don't have time to review commits at the moment. Just let me know which branch I should commit. Arun
