PRs

[Rainer Müller]

On 19.05.19 20:40, Mark Anderson wrote:
> Who is currently working on out CI/CD stuff like Travis, etc? And where
> is it? There are some things I'd like to propose/do, like making the
> maintainer timeout label automatic and making it possible to re-run CI
> from GitHub commits.

The bot is maintained by Zero King (@l2dy). The maintainer timeout label
is in fact supposed to be applied automatically. Is this job not working
as expected?

https://github.com/macports/mpbot-github/blob/master/pr/cron/maintainer_timeout.go

Rainer