Aborted push doesn't generate events

Summary

Abaorting a push can result in an updated branch without the corresponding events.

Steps to reproduce

Push new commits to branch and kill local git push after uploading the data but before the server is able to run the post-commit hooks.

What is the current bug behavior?

No push events are visible in the stream. This may also mean that other hooks (CI) aren't executed.

What is the expected correct behavior?

git push should be atomic: It either fully succeeds or the state of the repository is unchanged.

Possible fixes

Either fire the hooks to a background job (is that possible in an atomic way?) or periodically check if there are commits that may need to be processed.