This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

Ludovic Courtès 6f6758c45d maint: Adjust comment in 'pre-push' hook. ... * etc/git/pre-push: Adjust comment.		2020-06-01 00:51:38 +02:00
..
pre-push	…