Zero King 09f640ceb5 pr: Refine maintainer detection of PRs with new Portfiles

2018-03-10 17:57:05 +00:00

..

cron

Handle maintainer timeout

2017-08-15 09:25:52 +00:00

db

dbutil: Query pull requests from prDB, not wwwDB

2018-03-10 17:51:25 +01:00

githubapi

Handle maintainer timeout

2017-08-15 09:25:52 +00:00

prbot

graceful shutdown, fix tests

2017-08-22 11:00:41 +00:00

webhook

pr: Refine maintainer detection of PRs with new Portfiles

2018-03-10 17:57:05 +00:00