mirror of
https://github.com/withastro/astro.git
synced 2024-12-30 22:03:56 -05:00
Create congratsbot action
This commit is contained in:
parent
5f6c0799de
commit
8e7c5ef991
1 changed files with 20 additions and 0 deletions
20
.github/workflows/congratsbot.yml
vendored
Normal file
20
.github/workflows/congratsbot.yml
vendored
Normal file
|
@ -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 }}'
|
Loading…
Reference in a new issue