GitHub migration complete

Lawrence Velázquez larryv at
Mon Oct 31 13:14:35 PDT 2016

> On Oct 31, 2016, at 5:23 AM, Marko Käning <mk-macports at> 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.


More information about the macports-dev mailing list