GitHub migration complete

[Ryan Schmidt]

> On Nov 1, 2016, at 3:52 AM, Marko Käning <mk-macports at posteo.net> wrote:
> 
> On 01 Nov 2016, at 04:00 , Ryan Schmidt <ryandesign at macports.org> wrote:
>> We suggest that you move your user repository to your own GitHub account where you can continue to use it as you see fit. Instructions for how to move it are forthcoming. You should not use the Fork button to do so.
> 
> Can I simply remove it?

Yes, if you don't need what's in your user repo anymore, we can delete it.