Commit graph

113 commits

Author SHA1 Message Date
jesopo
2fcaf68f0e Move regex-based github info to command.regex hooks 2019-05-21 09:54:18 +01:00
jesopo
e7edd9997f regex fix, move '+' inside capturing group 2019-05-18 11:13:19 +01:00
jesopo
0a89682816 match.group(0) -> ref 2019-05-18 11:07:42 +01:00
jesopo
c474702afb Catch github urls in auto-github 2019-05-18 11:05:38 +01:00
jesopo
eaee51f677 Don't try to set repo to org after we've already changed org 2019-05-17 10:28:34 +01:00
jesopo
5513cc3a80 change REGEX_ISSUE to actually accept a repo name without org name 2019-05-17 10:28:18 +01:00
jesopo
f3d9fbb216 Actually assume the provided "org" is the repo when repo isn't provided 2019-05-17 10:14:49 +01:00
jesopo
3411f12fc4 Use github-default-repo to fill in org when org is missing but repo isn't 2019-05-17 10:10:27 +01:00
jesopo
3bbc4b3b77 server -> event["server"] 2019-05-16 14:28:20 +01:00
jesopo
385a4e3d4e channel -> event["channel"] 2019-05-16 14:27:07 +01:00
jesopo
ce1558e48b Catch-and-bury utils.EventError in auto-github code 2019-05-16 14:25:37 +01:00
jesopo
54e8fc8029 \S not \s in github issue ref regex 2019-05-16 14:25:18 +01:00
jesopo
7ce6af53f7 _parse_pull and _parse_issue shouldn't have an event param anymore 2019-05-16 14:20:50 +01:00
jesopo
a2321c693c _gh_* functions were renamed 2019-05-16 14:18:42 +01:00
jesopo
20514cc871 Add auto-github setting to automatically match and resolve github issue/pr
refs
2019-05-16 14:17:04 +01:00
jesopo
b75fc02c4b Add comment to clarify why we ignore 1-letter-nicks in _prevent_highlight 2019-05-14 11:01:31 +01:00
jesopo
69691e9c79 Don't prevent highlights for single-letter nicknames 2019-05-14 10:50:47 +01:00
jesopo
e09529260a Pass server object in to _prevent_highlight 2019-05-14 10:24:31 +01:00
jesopo
9aeee86165 use irc_lower for preventing highlights, only lower() when needed 2019-05-14 10:15:52 +01:00
jesopo
26f63410f2 Provide missing % formatting param for github release events
closes #52
2019-05-12 22:09:19 +01:00
jesopo
009daaeb62 Give empty array arg to WARN call in github module 2019-05-04 08:26:27 +01:00
jesopo
dc102f258d Add Database.servers.get_by_alias, move IRCBot.get_server to
IRCBot.get_server_by_id, add IRCBot.get_server_by_alias and change
!connect/!disconnect to take aliases instead of IDs
2019-04-24 12:07:30 +01:00
jesopo
537613545d Only show 'submitted' pull_request_review events 2019-04-17 10:33:12 +01:00
jesopo
959d6a067c Only show no-commit pushes when it's a force 2019-04-16 10:24:55 +01:00
jesopo
cc203f1756 Show a push event even when there's no commits in it 2019-04-16 10:20:11 +01:00
jesopo
9e79320d50 'closed #123 without merging' -> 'closed #123' 2019-04-11 13:09:30 +01:00
jesopo
e6a32a8bb9 Don't handle commented state in pull_request_review 2019-03-19 16:10:59 +00:00
jesopo
c4458653d2 Added some -minimal categories for comment-related events 2019-03-15 21:13:39 +00:00
jesopo
6cd171b7d8 'title' -> 'pr_title' 2019-03-15 19:28:37 +00:00
jesopo
4388d17b99 Better display for approval/changes_requested in pull request reviews 2019-03-15 10:33:02 +00:00
jesopo
be77188e71 Don't use short/coloured hash for shortened urls (github) 2019-03-14 13:58:42 +00:00
jesopo
c2eb96882a show short commit hash in individual push messages (github) 2019-03-10 10:31:32 +00:00
jesopo
b9fa74dbb5 Move PR number into/after action for pull_request events 2019-03-07 08:35:29 +00:00
jesopo
b549a28bed 'pull' -> 'PR' in !ghpull 2019-03-05 11:41:24 +00:00
jesopo
4aa86f865c Remove added/removed/modified counts from commits (github) 2019-03-03 22:49:06 +00:00
jesopo
7c654b4475 Add COLOR_NEUTRAL, show repo/number/state colours in !ghissue 2019-03-02 21:32:08 +00:00
jesopo
a063f54a38 Don't show "[]" when there are no labels in !ghissue 2019-03-02 21:14:51 +00:00
jesopo
91a7f622b8 Don't check github-hide-prefix in !ghwebhook 2019-03-02 09:30:53 +00:00
jesopo
6b3b2b6e87 pinkify pull request number in !ghpull 2019-03-02 08:44:32 +00:00
jesopo
1ad9bd2047 Actually use colored state in formatted line 2019-03-02 08:40:04 +00:00
jesopo
e4a4b193fe Colour the state of a pull request 2019-03-02 08:38:56 +00:00
jesopo
c45fcb34d1 Change PR/issue number color to pink 2019-03-02 08:38:45 +00:00
jesopo
a30bc92b94 We don't need a "-" to separate PR title anymore 2019-03-02 08:31:06 +00:00
jesopo
7c63dbcf00 Tweak !ghpull format/colours 2019-03-02 08:29:45 +00:00
jesopo
ab0b3be741 event doesn't have a "channel" in an API hook 2019-03-01 22:21:07 +00:00
jesopo
293b3a8ce3 Fix event variable name collision (github) 2019-03-01 21:47:00 +00:00
jesopo
88a28352b8 Add a setting to hide github repo names 2019-03-01 21:20:19 +00:00
jesopo
43eda14267 Capitalise 'PR' in issue_comment events for pull requests (github) 2019-03-01 21:12:46 +00:00
jesopo
9193a51c55 capitalise "PR" (Pull Request) 2019-02-28 23:16:37 +00:00
jesopo
985fc51dea Move issue/PR number to after action description (github) 2019-02-28 23:15:13 +00:00