Mirrored_Repos/Piped
1
0
Fork 0
mirror of https://github.com/TeamPiped/Piped.git synced 2024-11-22 05:27:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

actions: don't auto merge if en.json was updated

Browse Source
This commit is contained in:
Kavin 2023-05-01 08:57:56 +01:00
parent 5d439680ac
commit 7cbda4c484
No known key found for this signature in database
GPG Key ID: 49451E4482CC5BCD
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/weblate-merge.yml vendored
View File

@ -8,6 +8,12 @@ jobs:
merge: merge:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v3
- name: Check if en.json has been updated
run: |
if -n git diff ${{ github.event.pull_request.base.sha }}..${{ github.sha }} src/locales/en.json; then
exit 1
fi
- name: AutoMerge Weblate translations - name: AutoMerge Weblate translations
if: github.event.pull_request.user.login == 'weblate' if: github.event.pull_request.user.login == 'weblate'
run: gh pr merge --auto --delete-branch --merge "$PR_URL" run: gh pr merge --auto --delete-branch --merge "$PR_URL"