-
Notifications
You must be signed in to change notification settings - Fork 3.9k
Commit
- Loading branch information
There are no files selected for viewing
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,46 @@ | ||
name: Lock Closed Issues and PRs with message | ||
|
||
on: | ||
pull_request_target: | ||
types: [closed] | ||
issues: | ||
types: [closed] | ||
|
||
jobs: | ||
auto_comment: | ||
permissions: | ||
pull-requests: write | ||
issues: write | ||
runs-on: ubuntu-latest | ||
steps: | ||
- uses: aws-actions/closed-issue-message@v1 | ||
with: | ||
repo-token: "${{ secrets.GITHUB_TOKEN }}" | ||
message: | | ||
Comments on closed issues and PRs are hard for our team to see. | ||
If you need help, please open a new issue that references this one. | ||
lock: | ||
permissions: | ||
pull-requests: write | ||
issues: write | ||
runs-on: ubuntu-latest | ||
needs: auto_comment # only run after comment is complete | ||
steps: | ||
- name: Lock closed issue or PR | ||
run: | | ||
if [ "${{ github.event_name }}" == "issues" ]; then | ||
ISSUE_NUMBER=${{ github.event.issue.number }} | ||
ISSUE_URL=https://api.github.com/repos/${{ github.repository }}/issues/${ISSUE_NUMBER}/lock | ||
else | ||
ISSUE_NUMBER=${{ github.event.pull_request.number }} | ||
ISSUE_URL=https://api.github.com/repos/${{ github.repository }}/issues/${ISSUE_NUMBER}/lock | ||
fi | ||
curl -s -X PUT -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ | ||
-H "Accept: application/vnd.github.v3+json" \ | ||
${ISSUE_URL} \ | ||
-d @- <<EOF | ||
{ | ||
"lock_reason": "resolved" | ||
} | ||
EOF |
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.