Merge develop branch with main

.github/workflows/docker-build-and-push.yml

@@ -0,0 +1,38 @@
+name: Build and push Docker image to GitHub Packages
+
+# Trigger the workflow on release creation for the main branch:
+on:
+  release:
+    types: [released]
+
+jobs:
+  docker_image_build_and_push:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      packages: write
+
+    steps:
+    # Checkout the repository:
+    - name: Checkout code
+      uses: actions/checkout@v4
+
+    # Log in to GitHub Docker Registry (GitHub Packages):
+    - name: Log in to GitHub Docker Registry
+      run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.actor }} --password-stdin
+
+    # Build the Docker image:
+    - name: Build Docker image
+      run: docker build -t ghcr.io/${{ github.repository }}:latest --build-arg optional_dependencies=test,kafka,sqlite,mysql,postgresql,oracle,mssql,excel,tabular,spss,kuzu,neo4j .
+
+    # Push the Docker image to GitHub Packages:
+    - name: Push Docker image to GitHub Packages
+      run: docker push ghcr.io/${{ github.repository }}:latest
+
+    # Tag the Docker image with the release version:
+    - name: Tag the Docker image with the release version
+      run: docker tag ghcr.io/${{ github.repository }}:latest ghcr.io/${{ github.repository }}:${{ github.event.release.tag_name }}
+
+    # Push the Docker image with the release version to GitHub Packages:
+    - name: Push the Docker image with the release version to GitHub Packages
+      run: docker push ghcr.io/${{ github.repository }}:${{ github.event.release.tag_name }}

.github/workflows/gitlab-synchronization.yml

@@ -0,0 +1,24 @@
+name: Synchronization with GitLab Repository
+
+on:
+  - push
+  - delete
+
+jobs:
+  gitlab-synchronization:
+    runs-on: ubuntu-latest
+    name: Synchronization with GitLab Repository
+    steps:
+    # Checkout repository:
+    - name: Checkout repository
+      uses: actions/checkout@v4
+      with:
+        fetch-depth: 0
+
+    # Synchronize GitHub repository with GitLab repository (GitHub is upstream repository)
+    - name: Synchronize GitHub repository with GitLab repository (GitHub is upstream repository)
+      uses: wangchucheng/git-repo-sync@v0.1.0
+      with:
+        target-url: ${{ secrets.TARGET_URL }}
+        target-username: ${{ secrets.TARGET_USERNAME }}
+        target-token: ${{ secrets.TARGET_TOKEN }}