Move to Gitea

2024-06-22 11:50:40 +02:00
parent 637312b4b9
commit aad0ce57d5
5 changed files with 19 additions and 0 deletions
--- a/.gitea/workflows/merge.yml
+++ b/.gitea/workflows/merge.yml
@ -0,0 +1,17 @@
+name: merge pull-request
+on:
+    pull_request:
+        types:
+            - labeled
+jobs:
+    merge:
+        runs-on: ubuntu-latest
+        steps:
+            - name: merge pull request
+              uses: sudo-bot/action-pull-request-merge@v1.1.1
+              with:
+                  github-token: ${{ secrets.SUDO_BOT_TOKEN }}
+                  number: ${{ github.event.pull_request.number }}
+                  allowed-usernames-regex: ^williamdes$
+                  filter-label: merge-it
+                  merge-method: fast-forward