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

Remove unnecessary checkout.

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

View File

@ -12,9 +12,6 @@ jobs:
- name: Check if PR author is weblate - name: Check if PR author is weblate
if: github.event.pull_request.user.login != 'weblate' if: github.event.pull_request.user.login != 'weblate'
run: exit 78 run: exit 78
- uses: actions/checkout@v3
with:
fetch-depth: 0
- name: AutoMerge Weblate translations - name: AutoMerge Weblate translations
run: gh pr merge --auto --delete-branch --merge "$PR_URL" run: gh pr merge --auto --delete-branch --merge "$PR_URL"
env: env: