Difference between revisions of "Pull Request (PR) or Merge Request (MR)"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
- name: Set PR tag | - name: Set PR tag | ||
if: ${{ github.event_name == 'pull_request' }} | if: ${{ github.event_name == 'pull_request' }} | ||
| − | run: echo "TAG=pull-request-$Template:Github.event.number" >> $GITHUB_ENV | + | run: echo "TAG=pull-request-$Template:Github.event.number" >> $[[GITHUB_ENV]] |
Revision as of 11:00, 26 January 2023
- name: Set PR tag
if: $Template:Github.event name == 'pull request'
run: echo "TAG=pull-request-$Template:Github.event.number" >> $GITHUB_ENV
Related
- Merge Request (MR)
git request-pull- GitHub:
gh pr create az repos pr- Heroku Review Apps
- Azure Pipelines: pr:
Activities
- Read https://docs.microsoft.com/en-us/azure/devops/repos/git/pull-requests?view=azure-devops&tabs=browser
See also
gh [ auth | repo | secret | issue | workflow | webhook | gh environment | actions | run ] gh auth login, gh pr create, gh --helpgit pull[-v | -a]git request-pull,git pull origin masterPull Request (PR),--no-rebase, --rebase- Pull Request, GitHub Pull Requests extension,
gh pr, uses: peter-evans/create-pull-request
Advertising:
