Hi!

Do the admins take a look at the bottom end of the pull request list every now and then? I was asked to be a maintainer of a port, but don’t have the master branch merge rights, and don’t really crave for them either. I updated the port a month ago, and made a PR, but the request is still open with no progress. It doesn’t seem right to spam everyone’s mailboxes with “please take a look at this PR” every now and then. Would be logical, if PR-s with, let’s say, a week of inactivity got marked so an admin could take a look and merge them.

The specific PR this time is here:

Johan

Reply via email to