26 Commits

Author SHA1 Message Date
Zero King
14bfc80cbd pr: Attempt to assign port maintainers 2018-03-11 13:02:54 +00:00
Zero King
7805a25a28 pr: Enable maintainer timeout check on openmaintainer PRs 2018-03-10 18:16:39 +00:00
Zero King
09f640ceb5 pr: Refine maintainer detection of PRs with new Portfiles 2018-03-10 17:57:05 +00:00
Zero King
7b596ab9df Fix comment 2017-10-27 11:33:35 +00:00
Zero King
22728ea5d1 Notify all maintainers 2017-10-27 11:22:04 +00:00
Zero King
ef010d2954 Find CVE Identifiers in PR title too 2017-10-10 04:19:26 +00:00
Zero King
a2f819d2e8 graceful shutdown, fix tests 2017-08-22 11:00:41 +00:00
Zero King
dd73a99f18 Handle maintainer timeout 2017-08-15 09:25:52 +00:00
Zero King
471987b446 Remove comment footer 2017-08-15 09:25:06 +00:00
Zero King
e7dbd8a86b Add "by: member" label 2017-08-01 14:29:06 +00:00
Zero King
007dd48eb9 Less nesting 2017-08-01 14:16:15 +00:00
Zero King
cb544bc919 Improve maintainer detection 2017-07-29 05:33:56 +00:00
Zero King
02b152ca80 Add tests 2017-07-26 12:41:29 +00:00
Zero King
d77c33ee75 Improve label detection 2017-07-26 05:16:20 +00:00
Zero King
6b11723ab3 Improve maintainer handling 2017-07-23 10:53:54 +00:00
Zero King
d03b0e386e Disable maintainer labels on PRs not changing Portfiles 2017-07-23 08:51:51 +00:00
Zero King
15d45cb3e7 Recognize capital title 2017-07-23 08:42:00 +00:00
Zero King
14aece03f1 Improve PR handling 2017-07-23 03:42:53 +00:00
Clemens Lang
afbbb79c68 webhook: Add error logging for maintainer query
It seems incorrect database connection strings do not necessarily cause
problems until the first query, so logging the potential errors here is
very helpful when debugging.
2017-07-22 18:17:20 +02:00
Zero King
a1620899c6 Fix hardcoded repo name 2017-07-22 15:03:02 +00:00
Zero King
99728b0e9b Add some logging 2017-07-22 14:56:05 +00:00
Zero King
37f48e61fb Improve maintainer handling 2017-07-22 13:37:22 +00:00
Zero King
1dc08f58a7 Add production mode in PR bot 2017-07-16 10:28:30 +00:00
Zero King
bc693775f6 Make dbname configurable
Read repo location from webhook event
2017-07-16 10:17:45 +00:00
Zero King
5ce138d477 Add PR bot 2017-07-16 08:10:47 +00:00