jesopo
|
f15e3c8ffe
|
We don't need to expliticly print issue/pr numbers; they're shown in the urls
|
2018-11-07 19:27:22 +00:00 |
|
jesopo
|
7489b3dd96
|
"%s commented on" -> "%s commented on a review"
|
2018-11-07 19:22:12 +00:00 |
|
jesopo
|
66a904b5aa
|
don't show pull request review events when they're "commented"
|
2018-11-07 19:21:59 +00:00 |
|
jesopo
|
d961416401
|
Color "merged" and "closed without merging" in green and red respectively
|
2018-11-07 11:47:54 +00:00 |
|
jesopo
|
773412cdb0
|
Hide [Github] prefix in modules/github.py
|
2018-11-07 11:27:34 +00:00 |
|
jesopo
|
4000479cf0
|
Better show when a PR is merged or not merged when closingd
|
2018-11-07 08:23:07 +00:00 |
|
jesopo
|
1dfa10ea9d
|
Typo in modules/github.py, 'COMMENT_ACTION' -> 'COMMENT_ACTIONS'
|
2018-11-06 17:23:27 +00:00 |
|
jesopo
|
2bdac13752
|
Make "created a comment on" more readable with "commented on"
|
2018-11-06 17:05:40 +00:00 |
|
jesopo
|
367657901d
|
Better indicate that comments/reviews are for the given title, instead of it
seeming like the title is the comment body
|
2018-11-06 16:10:26 +00:00 |
|
jesopo
|
0e2d2b268a
|
Handle github_event 'ping'
|
2018-11-06 16:08:02 +00:00 |
|
jesopo
|
7c49152ef6
|
if an issue comment is from a pull request, it's denoted by the presence of
data["issue"]["pull_request"]
|
2018-11-06 15:01:02 +00:00 |
|
jesopo
|
12bc12e2ab
|
issue_comment is fired for both issue comments AND pull request comments.
weirdly.
|
2018-11-06 14:55:47 +00:00 |
|
jesopo
|
f06c824ae9
|
Only count a None response from an API event hook to be a 404
|
2018-11-06 14:09:13 +00:00 |
|
jesopo
|
276fe2c8fa
|
Allow a json.loads error in modules/github.py to bubble back up to
modules/rest_api.py
|
2018-11-06 14:08:35 +00:00 |
|
jesopo
|
be3ee373dd
|
Typo in modules/github.py, 'for output in output' -> 'for output in outputs'
|
2018-11-06 14:02:03 +00:00 |
|
jesopo
|
c3c6080117
|
Don't parse github events when there are no channels listening for the given
repo
|
2018-11-06 14:01:49 +00:00 |
|
jesopo
|
b6ad57f965
|
github-hook is an array
|
2018-11-06 14:01:30 +00:00 |
|
jesopo
|
65b182c9a9
|
'event["headers"]' -> 'event["headers"]["X-GitHub-Event"]'
|
2018-11-06 14:01:02 +00:00 |
|
jesopo
|
c3295c4140
|
Support more than just push actions in modules/github.py
|
2018-11-06 13:43:06 +00:00 |
|
jesopo
|
2921ed77ae
|
Support arrays of user/channel/bot/server settings
|
2018-11-06 13:01:30 +00:00 |
|
jesopo
|
c5e1fafeb1
|
Put a dash between commit message and commit url
|
2018-10-26 11:28:01 +01:00 |
|
jesopo
|
e9ed153aa3
|
Put commit urls on github webhook notices in modules/github.py
|
2018-10-26 11:25:28 +01:00 |
|
jesopo
|
381b00f2cd
|
Only get list of github-hook channels once
|
2018-10-13 09:16:22 +01:00 |
|
jesopo
|
639b21f145
|
Make git commit "add/mod/del" more concise
|
2018-10-08 15:09:28 +01:00 |
|
jesopo
|
dc37eb4f2f
|
I always forget about scopes in for loops
|
2018-10-07 08:10:52 +01:00 |
|
jesopo
|
fab3caa7be
|
do send.stdout event call in bot.trigger func param
|
2018-10-07 08:03:58 +01:00 |
|
jesopo
|
69eda4bf1b
|
Allow user/channel/server/bot settings to be "hidden" from settings lists in
modules/set.py
|
2018-10-06 17:16:17 +01:00 |
|
jesopo
|
0cf7deed24
|
Slightly change format of commit messages in modules/github.py
|
2018-10-06 16:44:39 +01:00 |
|
jesopo
|
79aff93b5d
|
Add a ControlSocket client to IRCBot.py, use it to trigger the epoll loop when a
github webhook has been caught!
|
2018-10-06 15:45:56 +01:00 |
|
jesopo
|
0a609ca695
|
Strip/replace \n from git commit messages in modules/github.py
|
2018-10-06 15:42:57 +01:00 |
|
jesopo
|
1fa66eebc6
|
Attempt to register servers for read/write when sending github hook notices
|
2018-10-06 10:02:02 +01:00 |
|
jesopo
|
df94020ef5
|
Add database.find_by_setting, send github commits to interested channels
|
2018-10-06 09:54:21 +01:00 |
|
jesopo
|
908edeb1e1
|
Typo in modules/github.py ('command' -> 'commit') and declare event_response
outside of try/except in modules/rest_api.py
|
2018-10-06 09:24:43 +01:00 |
|
jesopo
|
b0c27eff0b
|
Typo, add missing "
|
2018-10-05 23:32:20 +01:00 |
|
jesopo
|
d817ec9832
|
Add the basics of a github webhook in modules/github.py
|
2018-10-05 23:29:59 +01:00 |
|