7506dcae3a
The post-receive hook now performs a `git reset --hard HEAD` after each push to ensure the working tree reflects the newly received commits. This is needed when the server's `receive.denyCurrentBranch` is set to `false`, in which case Git no longer auto-updates the working tree and downstream build steps would otherwise run against stale code.