commit e2b418bab5c3249fba7b430b942da67ddf8a43dc Author: rl1987 rl1987@sdf.lonestar.org Date: Thu Nov 29 10:56:56 2018 +0200

Rename to pre-push.git-hook --- scripts/maint/{pre-push => pre-push.git-hook} | 0 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/scripts/maint/pre-push b/scripts/maint/pre-push.git-hook similarity index 100% rename from scripts/maint/pre-push rename to scripts/maint/pre-push.git-hook