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 |
|
jesopo
|
35ba165e0c
|
Don't use shortened commit hashes to make URLs
|
2019-02-28 17:21:19 +00:00 |
|
jesopo
|
b4fca127d1
|
COLOR_POSITIVE should be green and COLOR_NEGATIVE should be red
|
2019-02-28 17:18:47 +00:00 |
|
jesopo
|
ae95f81c8b
|
Colorise PR/issue numbers (github)
|
2019-02-28 17:10:42 +00:00 |
|
jesopo
|
02c7c4503c
|
Make repo name grey (github)
|
2019-02-28 17:10:31 +00:00 |
|
jesopo
|
58b1e41b5d
|
Make some colours consts per type of content (github)
|
2019-02-28 17:09:52 +00:00 |
|
jesopo
|
f431fdfd16
|
Put github-hide-prefix check in all github commands
|
2019-02-27 14:56:20 +00:00 |
|
jesopo
|
0ed6d05b03
|
check on github-hide-prefix was put in the wrong function
|
2019-02-27 14:55:28 +00:00 |
|
jesopo
|
e6cb5e3e6b
|
Remove additional ')' (copypaste fail)
|
2019-02-27 14:53:03 +00:00 |
|