chore: renaming GovSquareSizeUpperBound #2263
Workflow file for this run
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
| name: housekeeping | |
| on: | |
| # pull_request_target is used to allow forks write permissions when running | |
| # this workflow. With the pull_request trigger, forks do not have any write | |
| # access for security reasons, however write access is needed in order to | |
| # request reviews. Since this workflow is simply requesting reviewers, it is | |
| # safe to allow forks write access. | |
| pull_request_target: | |
| jobs: | |
| pr-assignment: | |
| name: PR Auto Assignment | |
| uses: celestiaorg/.github/.github/workflows/[email protected] # yamllint disable-line rule:line-length | |
| secrets: inherit | |
| # write access for issues and pull requests is needed because the called | |
| # workflow requires write access to issues and pull requests and the | |
| # permissions must match | |
| permissions: | |
| issues: write | |
| pull-requests: write | |
| with: | |
| run-auto-request-review: true |