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

macports-dev mailing list

Reply via email to