Difference between revisions of "Pull Request (PR) or Merge Request (MR)"
Jump to navigation
Jump to search
Tags: Mobile web edit, Mobile edit |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
- name: Set PR tag | - name: Set PR tag | ||
if: ${{ github.event_name == 'pull_request' }} | if: ${{ github.event_name == 'pull_request' }} | ||
| − | run: echo "TAG=pull-request-$Template:Github.event.number" >> $[[GITHUB_ENV]] | + | run: echo "TAG=pull-request-$Template:[[Github.event.number]]" >> $[[GITHUB_ENV]] |
| Line 22: | Line 22: | ||
* [[GitHub Pull Requests extension]] | * [[GitHub Pull Requests extension]] | ||
* <code>[[pre-commit]]</code> | * <code>[[pre-commit]]</code> | ||
| + | * [[Permanent resident]] | ||
== Activities == | == Activities == | ||
Latest revision as of 05:13, 25 January 2024
- name: Set PR tag
if: $Template:Github.event name == 'pull request'
run: echo "TAG=pull-request-$Template:Github.event.number" >> $GITHUB_ENV
Related[edit]
az repos pr- Heroku Review Apps
- Azure Pipelines: pr:
- GitHub Pull Requests extension
pre-commit- Permanent resident
Activities[edit]
- Read https://docs.microsoft.com/en-us/azure/devops/repos/git/pull-requests?view=azure-devops&tabs=browser
See also[edit]
Advertising:
