index
:
~steering
/
bitbot.git
this commit
master
Unnamed repository; edit this file 'description' to name the repository.
steering7253
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
modules
/
github
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
jesopo
2019-04-24
1
-1
/
+1
*
Only show 'submitted' pull_request_review events
jesopo
2019-04-17
1
-0
/
+3
*
Only show no-commit pushes when it's a force
jesopo
2019-04-16
1
-1
/
+1
*
Show a push event even when there's no commits in it
jesopo
2019-04-16
1
-4
/
+6
*
'closed #123 without merging' -> 'closed #123'
jesopo
2019-04-11
1
-3
/
+2
*
Don't handle `commented` state in pull_request_review
jesopo
2019-03-19
1
-0
/
+3
*
Added some -minimal categories for comment-related events
jesopo
2019-03-15
1
-0
/
+10
*
'title' -> 'pr_title'
jesopo
2019-03-15
1
-1
/
+1
*
Better display for approval/changes_requested in pull request reviews
jesopo
2019-03-15
1
-4
/
+12
*
Don't use short/coloured hash for shortened urls (github)
jesopo
2019-03-14
1
-3
/
+4
*
show short commit hash in individual push messages (github)
jesopo
2019-03-10
1
-3
/
+3
*
Move PR number into/after action for pull_request events
jesopo
2019-03-07
1
-9
/
+11
*
'pull' -> 'PR' in !ghpull
jesopo
2019-03-05
1
-1
/
+1
*
Remove added/removed/modified counts from commits (github)
jesopo
2019-03-03
1
-16
/
+4
*
Add COLOR_NEUTRAL, show repo/number/state colours in !ghissue
jesopo
2019-03-02
1
-14
/
+17
*
Don't show "[]" when there are no labels in !ghissue
jesopo
2019-03-02
1
-2
/
+6
*
Don't check github-hide-prefix in !ghwebhook
jesopo
2019-03-02
1
-4
/
+0
*
pinkify pull request number in !ghpull
jesopo
2019-03-02
1
-1
/
+2
*
Actually use colored `state` in formatted line
jesopo
2019-03-02
1
-1
/
+1
*
Colour the state of a pull request
jesopo
2019-03-02
1
-0
/
+13
*
Change PR/issue number color to pink
jesopo
2019-03-02
1
-1
/
+1
*
We don't need a "-" to separate PR title anymore
jesopo
2019-03-02
1
-1
/
+1
*
Tweak !ghpull format/colours
jesopo
2019-03-02
1
-5
/
+6
*
`event` doesn't have a `"channel"` in an API hook
jesopo
2019-03-01
1
-5
/
+6
*
Fix `event` variable name collision (github)
jesopo
2019-03-01
1
-2
/
+2
*
Add a setting to hide github repo names
jesopo
2019-03-01
1
-1
/
+9
*
Capitalise 'PR' in issue_comment events for pull requests (github)
jesopo
2019-03-01
1
-1
/
+1
*
capitalise "PR" (Pull Request)
jesopo
2019-02-28
1
-3
/
+3
*
Move issue/PR number to after action description (github)
jesopo
2019-02-28
1
-10
/
+8
*
Don't use shortened commit hashes to make URLs
jesopo
2019-02-28
1
-3
/
+3
*
COLOR_POSITIVE should be green and COLOR_NEGATIVE should be red
jesopo
2019-02-28
1
-2
/
+2
*
Colorise PR/issue numbers (github)
jesopo
2019-02-28
1
-8
/
+11
*
Make repo name grey (github)
jesopo
2019-02-28
1
-1
/
+3
*
Make some colours consts per type of content (github)
jesopo
2019-02-28
1
-12
/
+18
*
Put github-hide-prefix check in all github commands
jesopo
2019-02-27
1
-0
/
+12
*
check on github-hide-prefix was put in the wrong function
jesopo
2019-02-27
1
-4
/
+4
*
Remove additional ')' (copypaste fail)
jesopo
2019-02-27
1
-1
/
+1
*
Make github-hide-prefix apply to !gt as well
jesopo
2019-02-27
1
-0
/
+4
*
Show sender of an issue_comment, not the original commenter (for edits)
jesopo
2019-02-26
1
-1
/
+1
*
Add a require_access attribute to !ghwebhook
jesopo
2019-02-21
1
-0
/
+1
*
Don't handle pull_request_review events when they've not been submitted
jesopo
2019-02-21
1
-0
/
+2
*
Put a helper function in utils to do iso8601 formatting. change IRCServer's
•••
last-read setting to use it.
jesopo
2019-02-17
1
-1
/
+1
*
Put spaces either side of arrow symbol, makes it easier to see (github)
jesopo
2019-02-16
1
-1
/
+1
*
comment typo, 'tage' -> 'tag' (github)
jesopo
2019-02-15
1
-1
/
+1
*
Put an strf format for ISO8601 in utils
jesopo
2019-02-12
1
-2
/
+1
*
Show file add/remove/change *after* saying it's a push (github)
jesopo
2019-02-11
1
-5
/
+5
*
'jesopo pushed commit to master' -> 'jesopo pushed to master' (github)
jesopo
2019-02-10
1
-1
/
+1
*
Show when pushes are forced (github)
jesopo
2019-02-10
1
-5
/
+11
*
Return semi-helpful information to github webhooks (github)
jesopo
2019-02-08
1
-2
/
+5
*
Show when a `check_run` is `queued` (github)
jesopo
2019-02-07
1
-1
/
+1
[next]