diff options
| author |  jesopo | 2018-11-12 10:24:10 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-12 10:24:22 +0000 |
| commit | fa9c870e22006579a3ac4acf1b200cfeb84453d2 (patch) | |
| tree | e6365353516b0f14d7b80aecfc94127678314bc9 /modules/github.py | |
| parent | 'files: %s/%s/%s' -> '%s/%s/%s files' (diff) | |
| signature | ||
Boldify "merged"/"closed without merging" in modules/github.py
Diffstat (limited to 'modules/github.py')
| -rw-r--r-- | modules/github.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/github.py b/modules/github.py index 0e22429d..c0d777e3 100644 --- a/modules/github.py +++ b/modules/github.py @@ -112,6 +112,7 @@ class Module(ModuleManager.BaseModule): else: action_desc = utils.irc.color("closed without merging", utils.irc.COLOR_RED) + action_desc = utils.irc.bold(action_desc) pr_title = data["pull_request"]["title"] author = data["sender"]["login"] |