Difference between revisions of "Pull Request (PR) or Merge Request (MR)"
Jump to navigation
Jump to search
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]] |
Revision as of 19:48, 17 July 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: