Difference between revisions of "Pull Request (PR) or Merge Request (MR)"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
[[wikipedia:Pull request]] | [[wikipedia:Pull request]] | ||
| + | |||
| + | |||
| + | - name: Set PR tag | ||
| + | if: ${{ github.event_name == 'pull_request' }} | ||
| + | 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:
