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
Advertising:
