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