feat: Mirror Pipeline

Author: jamakr4

.github/workflows/mirror-to-gitlab.yml

@@ -0,0 +1,26 @@
+name: Mirror to GitLab
+
+on:
+  push:
+    branches: ['**']
+    tags: ['**']
+  release:
+    types: [published]
+
+jobs:
+  mirror:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout (full history)
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0  # complete history including tags
+
+      - name: Mirror to GitLab
+        env:
+          GITLAB_URL: ${{ secrets.GITLAB_URL }}        
+          GITLAB_TOKEN: ${{ secrets.GITLAB_TOKEN }}    
+        run: |
+          git remote add gitlab "https://oauth2:${GITLAB_TOKEN}@${GITLAB_URL#https://}"
+          git push gitlab --all --force
+          git push gitlab --tags --force

.vscode/settings.json

@@ -1,3 +1,3 @@
 {
-    "java.configuration.updateBuildConfiguration": "interactive"
+    "java.configuration.updateBuildConfiguration": "automatic"
 }