Frontend
Public
Commits
Tim Donohue authored and GitHub committed 3a839462781 Merge
| 1 - | # This workflow runs whenever a new pull request is created |
| 2 - | # TEMPORARILY DISABLED. Unfortunately this doesn't work for PRs created from forked repositories (which is how we tend to create PRs). |
| 3 - | # There is no known workaround yet. See https://github.community/t/how-to-use-github-token-for-prs-from-forks/16818 |
| 4 - | name Pull Request opened |
| 5 - | |
| 6 - | # Only run for newly opened PRs against the "main" branch |
| 7 - | on |
| 8 - | pull_request |
| 9 - | types opened |
| 10 - | branches |
| 11 - | main |
| 12 - | |
| 13 - | jobs |
| 14 - | automation |
| 15 - | runs-on ubuntu-latest |
| 16 - | steps |
| 17 - | # Assign the PR to whomever created it. This is useful for visualizing assignments on project boards |
| 18 - | # See https://github.com/marketplace/actions/pull-request-assigner |
| 19 - | name Assign PR to creator |
| 20 - | uses thomaseizinger/assign-pr-creator-action@v1.0.0 |
| 21 - | # Note, this authentication token is created automatically |
| 22 - | # See: https://docs.github.com/en/actions/configuring-and-managing-workflows/authenticating-with-the-github_token |
| 23 - | with |
| 24 - | repo-token $ secrets.GITHUB_TOKEN |
| 25 - | # Ignore errors. It is possible the PR was created by someone who cannot be assigned |
| 26 - | continue-on-error true |