Rename to pre-push.git-hook

author rl1987 <rl1987@sdf.lonestar.org>

Thu, 29 Nov 2018 08:56:56 +0000 (10:56 +0200)

committer rl1987 <rl1987@sdf.lonestar.org>

Thu, 29 Nov 2018 08:56:56 +0000 (10:56 +0200)
author rl1987 <rl1987@sdf.lonestar.org>
Thu, 29 Nov 2018 08:56:56 +0000 (10:56 +0200)
committer rl1987 <rl1987@sdf.lonestar.org>
Thu, 29 Nov 2018 08:56:56 +0000 (10:56 +0200)
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
author	rl1987 <rl1987@sdf.lonestar.org>
	Thu, 29 Nov 2018 08:56:56 +0000 (10:56 +0200)
committer	rl1987 <rl1987@sdf.lonestar.org>
	Thu, 29 Nov 2018 08:56:56 +0000 (10:56 +0200)