[Port dspace-7_x][GitHub Actions][Docker] Update Docker scripts & GitHub Actions to use ghcr.io instead of docker.io #1019
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
| # This workflow runs whenever a new pull request is created | |
| name: Pull Request opened | |
| # Only run for newly opened PRs against the "main" or maintenance branches | |
| # We allow this to run for `pull_request_target` so that github secrets are available | |
| # (This is required to assign a PR back to the creator when the PR comes from a forked repo) | |
| on: | |
| pull_request_target: | |
| types: [ opened ] | |
| branches: | |
| - main | |
| - 'dspace-**' | |
| permissions: | |
| pull-requests: write | |
| jobs: | |
| automation: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Assign the PR to whomever created it. This is useful for visualizing assignments on project boards | |
| # See https://github.com/toshimaru/auto-author-assign | |
| - name: Assign PR to creator | |
| uses: toshimaru/[email protected] |