diff options
| author |  Fred K. Schott <fkschott@gmail.com>
| 2021-08-08 11:02:43 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-08-08 11:02:43 -0700 |
| commit | 8e7c5ef9919a7c08ea52aa4ba903e5f04134620e (patch) | |
| tree | 413ea9aecda4cb825fea18afe1003c714c9f7c81 | |
| parent | 5f6c0799dead6b0d84e4eabb466b6b60e0006002 (diff) | |
| download | astro-8e7c5ef9919a7c08ea52aa4ba903e5f04134620e.tar.gz astro-8e7c5ef9919a7c08ea52aa4ba903e5f04134620e.tar.zst astro-8e7c5ef9919a7c08ea52aa4ba903e5f04134620e.zip | |
Create congratsbot action
| -rw-r--r-- | .github/workflows/congratsbot.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.github/workflows/congratsbot.yml b/.github/workflows/congratsbot.yml new file mode 100644 index 000000000..ff6746a03 --- /dev/null +++ b/.github/workflows/congratsbot.yml @@ -0,0 +1,20 @@ +name: Discord: Congratsbot + +# only trigger on pull request closed events +on: + pull_request: + types: [ closed ] + +jobs: + congrats: + name: Discord:Congratsbot + # this job will only run if the PR has been merged + if: github.event.pull_request.merged == true + runs-on: ubuntu-latest + steps: + - name: Send a Discord notification if a PR was merged + env: + DISCORD_WEBHOOK: ${{ secrets.DISCORD_WEBHOOK_CONGRATS }} + uses: Ilshidur/action-discord@0.3.2 + with: + args: 'Woo! PR #${{ github.event.number }} has been merged. Thank you ${{ github.event.user.login }}' |