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

• git request-pull
• hub pull-request

• git push -o merge_request.create

• GitHub: gh pr create

Related

• Merge Request (MR)

• az repos pr
• Heroku Review Apps
• Azure Pipelines: pr:
• Visual Studio GitHub Pull Requests extension
• uses: peter-evans/create-pull-request
• pre-commit
• Permanent resident
• if: failure() && github.event_name != 'pull_request'

Activities

• Read https://docs.microsoft.com/en-us/azure/devops/repos/git/pull-requests?view=azure-devops&tabs=browser
• Read Creating the pull request

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, gh pr, uses: peter-evans/create-pull-request