Random SocketExceptions: Connection refused / Failed host lookup
#436
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Not allow users without write access to create "infra" or blank issues. | |
| name: Check issues access | |
| on: | |
| issues: | |
| types: [ opened, reopened, edited ] | |
| jobs: | |
| verify_access: | |
| runs-on: ubuntu-latest | |
| if: ${{ join(github.event.issue.labels) == '' || contains(github.event.issue.labels.*.name, 'infra')}} | |
| steps: | |
| - uses: actions-cool/[email protected] | |
| id: checkUser | |
| with: | |
| require: 'write' | |
| - name: Write comment | |
| if: steps.checkUser.outputs.require-result == 'false' | |
| uses: actions-cool/[email protected] | |
| with: | |
| actions: 'create-comment' | |
| issue-number: ${{ github.event.issue.number }} | |
| body: | | |
| @${{ github.event.issue.user.login }} Infra and blank issues are only available for moderators. You're apparently using the wrong issue template. | |
| > Infra 和空白 issue 仅供管理人员使用，请选择其他 issue 模板创建 issue。 | |
| - name: Close issue | |
| if: steps.checkUser.outputs.require-result == 'false' | |
| uses: actions-cool/[email protected] | |
| with: | |
| actions: 'close-issue' | |
| issue-number: ${{ github.event.issue.number }} | |
| - name: Lock issue | |
| if: steps.checkUser.outputs.require-result == 'false' | |
| uses: actions-cool/[email protected] | |
| with: | |
| actions: 'lock-issue' | |
| issue-number: ${{ github.event.issue.number }} | |
| lock-reason: 'off-topic' |