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. 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: ![](https://img.shields.io/github/commit-status/{{ repository.full_name }}/gh-pages/{{ pull_request.merge_commit_sha }}.svg?label=deploy%20status)`)