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'
• on: pull_request
• Atlantis
• GitHub Rulesets

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 pr [ create | checkout | list | view ]
• 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, GitHub Rulesets, GitHub require a pull request before merging, Convert to draft