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

actions: inline if statement.

This commit is contained in:
Kavin 2022-11-11 16:18:23 +00:00
parent 153fecdb43
commit 6d898cf686
No known key found for this signature in database
GPG Key ID: 49451E4482CC5BCD

View File

@ -8,11 +8,8 @@ jobs:
merge:
runs-on: ubuntu-latest
steps:
# Run only if the PR is from Weblate
- name: Check if PR author is weblate
if: github.event.pull_request.user.login != 'weblate'
run: exit 78
- name: AutoMerge Weblate translations
if: github.event.pull_request.user.login != 'weblate'
run: gh pr merge --auto --delete-branch --merge "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}