Zero King
|
8fc1619433
|
pr: Fix Travis log regex
|
2018-04-26 09:27:09 +00:00 |
|
Zero King
|
d10d1a5403
|
pr: Limit pastebin output to one line
|
2018-03-20 15:18:34 +00:00 |
|
Zero King
|
ebe427ef15
|
pr: Add newline before timeout message
|
2018-03-18 12:33:04 +00:00 |
|
Zero King
|
f470498846
|
pr: Travis webhook support
|
2018-03-13 16:53:27 +00:00 |
|
Zero King
|
d7fff2bc48
|
pr: Log number of org members
|
2018-03-11 13:39:16 +00:00 |
|
Zero King
|
14bfc80cbd
|
pr: Attempt to assign port maintainers
|
2018-03-11 13:02:54 +00:00 |
|
Zero King
|
36c888d9d6
|
pr: Refactor
Merge code handling maintainer reaction to pull requests.
|
2018-03-11 11:37:42 +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
|
09d1c51020
|
Add tests for "by: member"
|
2017-08-03 01:33:24 +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 |
|