Pull Request (PR) or Merge Request (MR)

wikipedia:Pull request

    - 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 --help
• git pull [ -v | -a ] git request-pull, git pull origin master Pull Request (PR), --no-rebase, --rebase
• Pull Request, GitHub Pull Requests extension