diff options
| author |  jesopo | 2019-06-27 11:27:15 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-27 11:27:15 +0100 |
| commit | d4fd841af269f53d4016ca0ef01f0f74eb9c459a (patch) | |
| tree | 24a9fcc0105456fd4846ccd28ca0c4b8420fc2fe /modules/git_webhooks/github.py | |
| parent | 'ref' -> 'sha' for getting PR commit titles (diff) | |
| signature | ||
Prefix PR commit outputs with "[PR] "
Diffstat (limited to 'modules/git_webhooks/github.py')
| -rw-r--r-- | modules/git_webhooks/github.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/modules/git_webhooks/github.py b/modules/git_webhooks/github.py index 29893a2a..777e8ca8 100644 --- a/modules/git_webhooks/github.py +++ b/modules/git_webhooks/github.py @@ -270,8 +270,11 @@ class GitHub(object): data["before"], data["after"]) single_url = PR_COMMIT_URL % (full_name, raw_number, "%s") if new_commits: - return self._format_push(number, author, new_commits, False, - single_url, range_url) + outputs = self._format_push(number, author, new_commits, + False, single_url, range_url) + for i, output in enumerate(outputs): + outputs[i] = "[PR] %s" % output + return outputs pr_title = data["pull_request"]["title"] url = self._short_url(data["pull_request"]["html_url"]) |