From e2b418bab5c3249fba7b430b942da67ddf8a43dc Mon Sep 17 00:00:00 2001 From: rl1987 Date: Thu, 29 Nov 2018 10:56:56 +0200 Subject: [PATCH] Rename to pre-push.git-hook --- scripts/maint/{pre-push => pre-push.git-hook} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scripts/maint/{pre-push => pre-push.git-hook} (100%) 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