Stefano Brivio ab32838022 git: Add pre-push hook ... I've been using this for a while, now it's all "nice" and clean. Signed-off-by: Stefano Brivio <sbrivio@redhat.com>		2021-10-06 14:06:37 +02:00
..
pre-push	git: Add pre-push hook	2021-10-06 14:06:37 +02:00