Commit graph

164 commits

Author SHA1 Message Date
jesopo
7d3521395e add github-token to bot.conf.example, use in github.py when available 2019-09-30 10:35:36 +01:00
jesopo
a325f32b84 remove legacy --depends-on flags for github.py (leftover from webhooks) 2019-09-02 15:15:15 +01:00
jesopo
7959f1ab88 change Cache.py to be key:value 2019-09-02 14:07:26 +01:00
jesopo
0e9aebdb81 'auto-github' should be a BoolSetting, not a Setting 2019-06-28 23:26:53 +01:00
jesopo
ae9d099a41 Refactor set/channelset/serverset/botset in to 'utils.Setting' objects 2019-06-28 23:16:05 +01:00
jesopo
c5785a2d14 implement @utils.kwarg() magic, use it for command.regex hooks 2019-06-26 14:37:41 +01:00
jesopo
831bcd0d23 Remove old imports from github.py, add missing webhook urllib import 2019-06-24 15:38:27 +01:00
jesopo
14f2fd6a03 split github webhook logic in to a more general webhook module 2019-06-24 14:52:37 +01:00
jesopo
69edf039b3 Support modules being in their own folder and move github.py to github/module.py 2019-01-18 12:49:11 +00:00
jesopo
b7864ffb41 Typo, 'all_hook' -> 'all_hooks' (github.py) 2019-01-18 12:13:01 +00:00
jesopo
0414ed34e2 Move github hooks away from !channelset in to their own !ghwebhook command
(github.py)
2019-01-18 12:05:56 +00:00
jesopo
8addca13ec Copypaste fail, 'c' -> 'category' 2019-01-18 08:20:03 +00:00
jesopo
be5c5e6c21 Allow non-category items to be placed in a channel's event categories, allowing
users to specify specific events (github.py)
2019-01-18 08:18:47 +00:00
jesopo
4981d70be4 combine github events and their actions to be able to filter by event type and
action. add/change event categories to use these (github.py)
2019-01-18 08:08:39 +00:00
jesopo
72d4375e55 Only show specific actions for pull requests and issues (github.py) 2019-01-17 17:01:12 +00:00
jesopo
2a7df864ef ping events don't need to know full_name of repo (github.py) 2019-01-17 14:50:23 +00:00
jesopo
89d0c83acb Clarify github webhook event names with some comments (github.py) 2019-01-17 14:31:23 +00:00
jesopo
ce1d1aa5f8 'issue' -> 'issues' (github.py) 2019-01-17 14:19:31 +00:00
jesopo
75b85e76c9 Add a channel setting for github webhook event filters (github.py) 2019-01-16 22:36:19 +00:00
jesopo
5bf603bbfa typo, 'respository' -> 'repository' (github.py) 2019-01-16 22:32:17 +00:00
jesopo
77c7084e9d Don't try to parse username and repo name from a full name if there's no full
name (github.py)
2019-01-16 22:28:12 +00:00
jesopo
a342f82f40 Do filtering of github events based on categories of events (github.py) 2019-01-16 22:26:31 +00:00
jesopo
f9bf1d03e8 Correct order of string formatting for github membership events (github.py) 2019-01-16 22:14:26 +00:00
jesopo
f50f2a6d51 Support organisation membership event (github.py) 2019-01-16 22:13:38 +00:00
jesopo
e49389232e Support github events only related to an organisation, not a repo (github.py) 2019-01-16 22:13:14 +00:00
jesopo
7e85197d47 Change !gh to be an alias of !github (github.py) 2019-01-13 22:06:41 +00:00
jesopo
9ab9400b46 Only show issue comment edit events when the body text of the comment has
actually changed (github.py)
2019-01-13 01:34:07 +00:00
jesopo
2f74100666 Don't have duplicate repo full name in ping events (github.py) 2019-01-10 22:24:04 +00:00
jesopo
cbc0e81fb3 Send a notice to a channel when a new webhook registration is received
(github.py)
2019-01-10 22:14:40 +00:00
jesopo
73392e8a20 Pass username, repository, number to _gh_issue and _gh_pull (github.py) 2019-01-10 13:36:13 +00:00
jesopo
2d346e73bc Seperate out issue/pr logic into their own functions and add !gh that will get
info on either an issue or a pull request (github.py)
2019-01-10 13:32:19 +00:00
jesopo
8da6036894 Show issue/pr state in !ghissue and !ghpull (github.py) 2019-01-10 13:23:32 +00:00
jesopo
d26a945c49 Show an error if !ghissue or !ghpull doesn't find the specified issue/pr
(github.py)
2019-01-10 13:18:58 +00:00
jesopo
86810290f7 rpartition (instead of partition) #number for github issues/pull, so that we
don't have to specify "#" when we're got a default repo (github.py)
2019-01-10 13:11:35 +00:00
jesopo
55b61649f4 copypaste fail, event["args_split"][0] -> ref (github.py) 2019-01-09 23:03:34 +00:00
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