Additional tweaks to deployment bot message (#2011)
This commit is contained in:
7
.github/probot.js
vendored
7
.github/probot.js
vendored
@@ -5,9 +5,6 @@ on('pull_request.closed')
|
||||
context.payload.pull_request.head.ref.slice(0, 11) !== 'dependabot/'
|
||||
)
|
||||
.filter(context => context.payload.pull_request.base.ref === 'master')
|
||||
.comment(`This pull request was merged to [{{ pull_request.base.ref }}]({{ repository.html_url }}/tree/{{ pull_request.base.ref }}) branch. This change is now waiting for deployment, which will usually happen within a few days. Stay tuned by joining our #ops channel on [Discord](https://discordapp.com/invite/HjJCwm5)!
|
||||
.comment(`This pull request was merged to [{{ pull_request.base.ref }}]({{ repository.html_url }}/tree/{{ pull_request.base.ref }}) branch. This change is now waiting for deployment, which will usually happen within a few days. Stay tuned by joining our \`#ops\` channel on [Discord](https://discordapp.com/invite/HjJCwm5)!
|
||||
|
||||
After deployment changes are copied to [gh-pages]({{ repository.html_url }}/tree/gh-pages) branch.
|
||||
|
||||
This badge displays deployment status:
|
||||
`)
|
||||
After deployment, changes are copied to [gh-pages]({{ repository.html_url }}/tree/gh-pages) branch: `)
|
||||
|
||||
Reference in New Issue
Block a user