Commit graph

129 commits

Author SHA1 Message Date
jesopo
bba5733736 Command events don't have "channel", they have "target" (github.py) 2019-01-09 23:02:39 +00:00
jesopo
5514c2b9c9 Add a way to set the default github repo for a channel (github.py) 2019-01-09 23:01:27 +00:00
jesopo
470f9fc945 from_repo/to_repo -> repo_from/repo_to (github.py) 2019-01-09 22:51:55 +00:00
jesopo
2afe2d1c57 Show which branch is being merged in to which (github.py) 2019-01-09 22:50:41 +00:00
jesopo
d6da46fac3 to_from -> repo_to (github.py) 2019-01-09 22:50:21 +00:00
jesopo
8399545fe3 Add missing "(" for github pull request message format (github.py) 2019-01-09 22:47:47 +00:00
jesopo
aa04071d89 def github( -> def webhook( (github.py) 2019-01-09 22:47:20 +00:00
jesopo
dc4c711fa0 Actually show deletions as deletions for github pull requests (github.py) 2019-01-09 22:46:57 +00:00
jesopo
8d3064d50c Add !ghpull, to get information on a pull request from github (github.py) 2019-01-09 22:45:33 +00:00
jesopo
56f431176c Boldify sender on a pull request review comment (github.py) 2019-01-09 22:33:02 +00:00
jesopo
ac3c361399 Add !ghissue, to get information on an issue from github (github.py) 2019-01-09 22:30:11 +00:00
jesopo
e15c7ece5b URL-unquote form-encoded data AFTER parsing it as a query string (github.py) 2019-01-03 21:55:21 +00:00
jesopo
498352d1ac Support adding github webhooks for an entire "username" (github.py) 2019-01-03 21:18:40 +00:00
jesopo
e8b69b0a26 type should be before number in the string formatting of issue_comment
(github.py)
2018-12-29 21:15:50 +00:00
jesopo
5f994e599d Show issue/pr number (github.py) 2018-12-29 19:05:14 +00:00
jesopo
8d8ebf7d55 Show sender of a pull request comment action, not the comment's user, for
when people edit other people's comments
2018-12-19 16:52:04 +00:00
jesopo
1ffc7863a0 If a request to git.io times out, fall back to full url 2018-12-14 08:49:37 +00:00
jesopo
843d517553 'utils.http.get_url' -> 'utils.http.request' (github.py) 2018-12-11 22:40:20 +00:00
jesopo
22c38ad083 Shorten github urls in github.py 2018-12-11 22:27:04 +00:00
jesopo
a41cf7b471 Actually use action_desc in github.py.issues, so that we can see what things
are labeled as
2018-12-10 21:07:38 +00:00
jesopo
d0caebbc57 Support fork event (github.py) 2018-12-10 18:47:54 +00:00
jesopo
b696e4e818 Add basics of status event handling, mostly for use with continuous integration (github.py) 2018-12-10 17:17:40 +00:00
jesopo
6dc58d4ceb Correctly support labeling pull requests, support unlabeling pull requests and support both on issues 2018-12-09 20:57:29 +00:00
jesopo
de60d245b5 Show newly added labels when a pull request is labeled 2018-12-09 19:36:23 +00:00
jesopo
8cc1168589 Return empty string on successful github webhook handling, not True 2018-12-08 09:10:44 +00:00
jesopo
9bef4b7df1 Switch to using a case insensitive dictionary for headers instead of doing
.title() on each header key
2018-12-08 09:00:12 +00:00
jesopo
476e4cc9c1 ["review"]["user"]["login"] -> ["sender"]["login"] to show who created a
pull_request_review event, not who started the review
2018-12-06 18:35:46 +00:00
jesopo
7d59898485 'X-GitHub-Event' -> 'X-Github-Event' now that we .title() header keys
(github.py)
2018-12-06 12:09:58 +00:00
jesopo
786e8b89a3 'content-type' -> 'Content-Type' (github.py) 2018-12-06 12:01:23 +00:00
jesopo
764e1e3245 Prevent setting values to array settings and prevent adding to non-array
settings
2018-12-05 12:13:29 +00:00
jesopo
d1bbd8cfe3 Add missing urllib.parse import (github.py) 2018-11-30 21:54:51 +00:00
jesopo
fcc3bdda6b Support form-encoded github webhook data 2018-11-30 21:53:47 +00:00
jesopo
aab84096fd utf8-decode github webhook json data 2018-11-30 21:09:59 +00:00
jesopo
dba4c9561c 'line' -> 'output' (github.py) 2018-11-27 15:07:22 +00:00
jesopo
d13a5069e3 Grab response from functions asked to be executed on the main thread and feed
them back to the callers, allowing rest_api.py to take the main thread while
it's waiting for the response to give back to the requesting client
2018-11-27 14:25:12 +00:00
jesopo
231fa51129 use '~' instead of '±' to represent "changed files" in modules/github.py 2018-11-26 14:47:47 +00:00
jesopo
f507da3b9a 'BLUE' -> 'LIGHTBLUE' branch name for push and create events (github.py) 2018-11-20 12:40:26 +00:00
jesopo
c2ef675bf0 Better descript opened pull requests (github.py) 2018-11-20 10:27:28 +00:00
jesopo
c77ca64367 Change merged branch name from blue to light blue (github.py) 2018-11-20 10:16:39 +00:00
jesopo
371d9bd9d6 Only color branch name when it's not in the url 2018-11-19 21:36:24 +00:00
jesopo
ded49fe92a But blue-ification on branch/tag name, not on "branch"/"tag" 2018-11-19 21:34:36 +00:00
jesopo
e5ae963193 Blue-ify tag/branch for create event 2018-11-19 21:31:29 +00:00
jesopo
da2c403dd7 Don't bold action_desc for pull_request event action (github.py) 2018-11-19 21:08:57 +00:00
jesopo
58a0cf97cf Move "(" on to start line for a string format 2018-11-19 20:56:42 +00:00
jesopo
5767a1b32e Show branch when a pull request is merged 2018-11-19 20:54:40 +00:00
jesopo
fd805a07db Make branch names blue AND bold! (github.py) 2018-11-18 10:27:19 +00:00
jesopo
7b430a71b0 Don't 404 when a repo is hooked in to but a specific event type isn't listened
for (github.py)
2018-11-18 10:25:32 +00:00
jesopo
6fbbcace66 Make branch names in commit notifications blueified 2018-11-18 10:20:16 +00:00
jesopo
870c56cfbb hooks -> targets, to actually respect filtered-out channels 2018-11-17 22:39:14 +00:00
jesopo
a7e2eacf1d typo in modules/github.py, 'targets.append(server, channel)' ->
'targets.append([server, channel])'
2018-11-17 22:35:32 +00:00