create update docs job

creates a github action job to update the private documentation about maestro

.github/workflows/mkdocs.yaml

@@ -25,4 +25,21 @@ jobs:
       - run: pip install mkdocs-mermaid2-plugin
       - run: git config user.name 'github-actions[bot]' && git config user.email 'github-actions[bot]@users.noreply.github.com'
       - name: Publish docs
-        run: mkdocs gh-deploy --force
+        run: mkdocs gh-deploy --force
+
+  update-docs:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+      with: 
+        fetch-depth: 0
+      env: 
+        token: ${{ secrets.GITLAB_DOCS_TOKEN }}
+
+    - name: Update Gitlab Documentation
+      run: |
+        echo Starting to push documentation changes to gitlab
+        git config user.name ${{ secrets.GITLAB_USER }}
+        git config user.email ${{ secrets.GITLAB_EMAIL }}
+        git remote set-url origin ${{ secrets.GITLAB_DOC_URL }}
+        git push origin main