1
0
mirror of https://github.com/TeamPiped/Piped.git synced 2024-12-13 05:40:28 +05:30

Specify PR URL to gh cli.

This commit is contained in:
Kavin 2022-11-10 17:39:20 +00:00
parent 87ab7b7535
commit c5208a2668
No known key found for this signature in database
GPG Key ID: 49451E4482CC5BCD

View File

@ -16,6 +16,7 @@ jobs:
with:
fetch-depth: 0
- name: AutoMerge Weblate translations
run: gh pr merge --auto --delete-branch --merge
run: gh pr merge --auto --delete-branch --merge "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}