From db2ad6fa73adec1ffa364d21d130b69533b30ade Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <[EMAIL REDACTED]>
Date: Wed, 17 Mar 2021 13:36:38 -0400
Subject: [PATCH] git-pre-push-hook: remove ".git" from URL.
---
build-scripts/git-pre-push-hook.pl | 1 +
1 file changed, 1 insertion(+)
diff --git a/build-scripts/git-pre-push-hook.pl b/build-scripts/git-pre-push-hook.pl
index f5c5017cb..ff84dff41 100755
--- a/build-scripts/git-pre-push-hook.pl
+++ b/build-scripts/git-pre-push-hook.pl
@@ -27,6 +27,7 @@
#print("remote: $remote\n");
#print("url: $url\n");
+$url =~ s/\.git$//; # change myorg/myproject.git to myorg/myproject
$url =~ s#^git\@github\.com\:#https://github.com/#i;
my $commiturl = $url =~ /\Ahttps?:\/\/github.com\// ? "$url/commit/" : '';