Difference between revisions of "Pull Request (PR) or Merge Request (MR)"
Jump to navigation
Jump to search
Line 21: | Line 21: | ||
* [[Azure Pipelines: pr:]] | * [[Azure Pipelines: pr:]] | ||
* [[GitHub Pull Requests extension]] | * [[GitHub Pull Requests extension]] | ||
+ | * <code>[[pre-commit]]</code> | ||
== Activities == | == Activities == |
Revision as of 18:01, 28 February 2023
- name: Set PR tag if: $Template:Github.event name == 'pull request' run: echo "TAG=pull-request-$Template:Github.event.number" >> $GITHUB_ENV
Related
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,
gh pr, uses: peter-evans/create-pull-request
Advertising: