GitHub migration complete

[Lawrence Velázquez]

> On Oct 31, 2016, at 5:23 AM, Marko Käning <mk-macports at posteo.net> wrote:
> 
> a post-commit-hook checking whether the GitHub pull request ID #123
> actually exists for the main repository seems like a valuable feature,
> especially in the transition phase. Shall I file a ticket on trac for it?

Sure, if you like. Feel free to assign me as owner; I'll try to look into it this week.

vq