Initial Commit

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>

.github/workflows/update.yml

@@ -0,0 +1,54 @@
+name: Automatic Updates
+
+on:
+  schedule:
+    - cron: 0 0 * * *
+  workflow_dispatch:
+
+defaults:
+  run:
+    shell: 'bash -Eeuo pipefail -x {0}'
+
+jobs:
+  build:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          token: ${{ secrets.REPO_GHA_PAT }}
+      - name: Run update script
+        uses: nick-fields/retry@v2.6.0
+        with:
+          timeout_minutes: 15
+          max_attempts: 3
+          command: |
+            # pip-tools provides pip-compile used by update.sh
+            pip3 install --upgrade pip-tools
+            export PATH=$HOME/.local/bin:$PATH
+            echo "Updating Debian images"
+            ./Debian/update.sh
+      - name: Diff
+        run: |
+          git status
+          git diff
+      - name: Temporarily disable "include administrators" branch protection
+        if: ${{ always() && github.ref == 'refs/heads/main' }}
+        id: disable_include_admins
+        uses: benjefferies/branch-protection-bot@1.0.7
+        with:
+          access_token: ${{ secrets.REPO_GHA_PAT }}
+          branch: main
+          enforce_admins: false
+      - uses: EndBug/add-and-commit@v9
+        id: commit
+        with:
+          author_name: EnterpriseDB Automated Updates
+          author_email: noreply@enterprisedb.com
+          message: 'Daily automatic update'
+      - name: Enable "include administrators" branch protection
+        uses: benjefferies/branch-protection-bot@1.0.7
+        if: ${{ always() && github.ref == 'refs/heads/main' }}
+        with:
+          access_token: ${{ secrets.REPO_GHA_PAT }}
+          branch: main
+          enforce_admins: ${{ steps.disable_include_admins.outputs.initial_status }}