Skip to content

Commit

Permalink
Add comment after PR was submitted (#5877)
Browse files Browse the repository at this point in the history
  • Loading branch information
ligi committed Sep 19, 2024
1 parent 95de7d1 commit d77bc63
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions .github/workflows/pr_intro_comment.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
on: [pull_request_target]
jobs:
comment_on_pr:
runs-on: ubuntu-latest
name: Comment after PR is submitted
steps:
- name: Comment PR
uses: thollander/actions-comment-pull-request@v2
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
message: |
You successfully submitted a PR! Due to the amount of PRs coming in: we will only look at PRs that the CI is happy with. We can also not hold your hand getting the CI green - just look how others that where merged did it and RTFM. So as long as there is any CI check that reports an error - no human will look at this. You might be able to ask for some support after supporting the project - e.g. by sending funds to lists.eth. When you fixed things after a requested change - then you also need to (re-)request a review.

0 comments on commit d77bc63

Please sign in to comment.