minor changes in the DEV tools and more (#1578)

2024-07-22 22:15:10 +02:00
parent cbe92269f4
commit 6eb79e65fa
7 changed files with 45 additions and 10 deletions
--- a/.github/workflows/sync_files.yml
+++ b/.github/workflows/sync_files.yml
@@ -51,6 +51,7 @@ jobs:
            [1]: https://github.com/peter-evans/create-pull-request
          draft: false
          delete-branch: true
+          labels: github-actions
  sync-readme:
    runs-on: ubuntu-latest
    steps:
@@ -88,3 +89,4 @@ jobs:
            [1]: https://github.com/peter-evans/create-pull-request
          draft: false
          delete-branch: true
+          labels: Documentation,Translation,github-actions