Fix commit hash really this time

We're not in pull_request-context, of course.

.github/workflows/push.yml

@@ -299,7 +299,7 @@ jobs:
           if git diff --cached --quiet; then
             exit 0
           fi
-          git commit -m "Add result for ${{ github.repository }}@${{ github.event.pull_request.head.sha }}"
+          git commit -m "Add result for ${{ github.repository }}@${{ github.sha }}"
           git push
       - name: Show diff
         if: github.event_name == 'pull_request'