Merge pull request pgRouting#64 from sanak/workflows/create-update-pr

Add GitHub Actions workflow for update PR

Author: sanak

.github/workflows/update-pr.yml

@@ -0,0 +1,36 @@
+name: Docker pgRouting update PR
+
+on:
+  schedule:
+    # Run at 00:00 UTC
+    - cron: '0 0 * * *'
+  workflow_dispatch:
+
+defaults:
+  run:
+    shell: bash
+
+jobs:
+  make-update:
+    name: Create update PR after make update
+    runs-on: ubuntu-24.04
+
+    steps:
+    - name: Checkout source
+      uses: actions/checkout@v4
+
+    - name: Make update
+      run: make update
+
+    - name: Check update
+      id: check-update
+      run: |
+        echo "updated=$(git status --porcelain | wc -l)" >> $GITHUB_OUTPUT
+    - name: Create Pull Request
+      if: steps.check-update.outputs.updated > 0
+      uses: peter-evans/create-pull-request@v7
+      with:
+        commit-message: 'Update hashes and versions'
+        branch: update-hashes-and-versions
+        delete-branch: true
+        title: 'Update hashes and versions'