Log successful runs to a branch

.github/workflows/docker-build-push.yaml

@@ -77,6 +77,20 @@ jobs:
         provenance: false
         sbom: false
 
+    - name: Log run info to a branch
+      # This provides a branch where it's easy to see if a build
+      # succeeded for a commit hash.  A happy side-effect might also
+      # be, that thanks to this branch, our automatic scheduled builds
+      # will hopefully not be deactivated after 60 days...  We need
+      # that anyway, because we want to apply security updates from
+      # nilcons/debian automtaically once a month.
+      run: |
+        git checkout actions-log
+        touch ${{ github.sha }}
+        git add ${{ github.sha }}
+        git commit -m 'Pipeline finished'
+        git push
+
 # We have this env section at the end, because the weird quoting that
 # is needed inside of it is breaking emacs highlight behind it...
 env: