> On Nov 5, 2018, at 9:07 AM, [email protected] wrote: > > PR bomb... fork all his repos and issue gazillons of PRs.
I hope this was in jest. > Or maybe ask Github for turning ownership to us. If he has been there for a while and that is his name, then we have no grounds for taking it away. The transfer of ownership case is for a company that holds a trademark and the other use is causing confusion. I don’t think anyone going to his site will be confused. > > Phil James
