Doesn't post-receive block the push operation and get cancelled when you cancel the push?
I use https://pipe.pico.sh for this use case. It’s a pubsub over ssh. It’s multicast so you can have multiple listeners on the same topic, and you can have it block or not block the event.
It does, you're just running a command over ssh, so if you've a particularly long build then something more involved may make more sense.
I use https://pipe.pico.sh for this use case. It’s a pubsub over ssh. It’s multicast so you can have multiple listeners on the same topic, and you can have it block or not block the event.