Julian Prein 136b56688a hooks:pre-push: Switch back to /bin/sh ...

It's not worth it to sacrifice the portability of the script for a bit
of integer-aid.

2025-05-30 01:31:17 +02:00

..

hooks

hooks:pre-push: Switch back to /bin/sh

2025-05-30 01:31:17 +02:00