diff options
| author |  Joe Banks <[email protected]> | 2024-05-18 04:41:02 +0100 |
|---|---|---|
| committer | Joe Banks <[email protected]> | 2024-05-18 04:41:46 +0100 |
| commit | 28c5fce432602318fa8a18d79d7c96fa29680cc5 (patch) | |
| tree | 5325f5b12d55e3417a8629a104cadaff391f8d15 /.github | |
| parent | Add instance to AlertManager Discord embeds (diff) | |
Add Craig Dazey emulator
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pr_thanks.yaml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.github/workflows/pr_thanks.yaml b/.github/workflows/pr_thanks.yaml new file mode 100644 index 0000000..2df61e0 --- /dev/null +++ b/.github/workflows/pr_thanks.yaml @@ -0,0 +1,20 @@ +name: PR Thanker + +on: + pull_request: + branches: + - main + types: [closed] + +jobs: + thanks: + runs-on: ubuntu-latest + if: github.event.pull_request.merged == true + steps: + - name: Comment on PR + uses: unsplash/comment-on-pr@master + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + with: + msg: "Thanks!" + check_for_duplicate_msg: true |