ComputerSurge/shields
3
0
Fork 0
Code Pull Requests 1 Activity

don't run deploy bot on dependabot PRs (#1924)

Browse Source 
Don't run deploy bot on dependabot PRs
This commit is contained in:
chris48s
2018-08-20 21:13:44 +01:00
committed by GitHub
parent 82bc90cec1
commit c19695f628
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/probot.js vendored
View File

@@ -1,5 +1,9 @@
on('pull_request.closed')
.filter(context => context.payload.pull_request.merged)
.filter(
context =>
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. Now this change is waiting for deployment.
Deploys usually happen every few weeks. After deployment changes are copied to [gh-pages]({{ repository.html_url }}/tree/gh-pages) branch.