Merge commit 'b9112977b074d67d6c83f04af36b6dabdf1d92c6' as 'external/json'

2024-01-23 08:40:40 +01:00
parent 39339e58c5 b9112977b0
commit 2a0947eb07
1090 changed files with 174859 additions and 0 deletions
--- a/external/json/.github/workflows/labeler.yml
+++ b/external/json/.github/workflows/labeler.yml
@@ -0,0 +1,20 @@
+name: "Pull Request Labeler"
+
+on:
+  pull_request_target:
+    types: [opened, synchronize]
+
+permissions: {}
+
+jobs:
+  label:
+    permissions:
+      contents: read
+      pull-requests: write
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: srvaroa/labeler@master
+        env:
+          GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"