michael/astro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update congratsbot to support external PRs

Browse source
This commit is contained in:
Fred K. Schott 2021-08-08 22:28:21 -07:00 committed by GitHub
parent adc767c515
commit 8a969007fb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
.github/workflows/congratsbot.yml vendored
View file

@ -1,21 +1,21 @@
name: "Discord:congratsbot" name: "Discord:congratsbot"
# only trigger on pull request closed events
on: on:
pull_request: push:
types: [ closed ] branches:
- main
jobs: jobs:
congrats: congrats:
name: "Discord:congratsbot" name: "discord:congratsbot"
# this job will only run if the PR has been merged #if: github.event.commits[0] && !github.event.commits[1]
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Send a Discord notification if a PR was merged - name: Send a Discord notification when a PR is merged
env: env:
DISCORD_WEBHOOK: ${{ secrets.DISCORD_WEBHOOK_CONGRATS }} DISCORD_WEBHOOK: ${{ secrets.DISCORD_WEBHOOK_CONGRATS }}
# DISCORD_AVATAR: ${{ github.event.pull_request.user.avatar_url }} # DISCORD_AVATAR: ${{ github.event.pull_request.user.avatar_url }}
uses: Ilshidur/action-discord@0.3.2 uses: Ilshidur/action-discord@0.3.2
with: with:
args: '**Sweet!** [@${{ github.event.pull_request.user.login }}](<${{ github.event.pull_request.user.url }}>) just merged GitHub PR[#${{ github.event.number }}: ${{ github.event.pull_request.title }}](<${{github.event.pull_request.url}}>)' args: '**Sweet!** [@${{ github.event.commits[0].author.login }}](<${{ github.event.commits[0].author.url }}>) just merged [${{ github.event.commits[0].message }}](<${{github.event.commits[0].html_url}}>)'