Merge PR 4657 into language-change

2022-10-20 10:58:51 +02:00
parent b503271aba
commit a334f33b35
60 changed files with 1511 additions and 156 deletions
@@ -5,6 +5,9 @@ on:
    branches: [ "master", "staging" ]
  workflow_dispatch:

+permissions:
+  contents: read # to fetch code (actions/checkout)
+
 jobs:
  docker_image_builds:
    strategy: