git-pre-push-hook: remove ".git" from URL.

2021-03-17 13:36:38 -04:00 · 2021-03-17 13:36:38 -04:00 · db2ad6fa73
parent e7e519a466
commit db2ad6fa73
1 changed files with 1 additions and 0 deletions
--- a/build-scripts/git-pre-push-hook.pl
+++ b/build-scripts/git-pre-push-hook.pl
@ -27,6 +27,7 @@ my $url = $ARGV[1];
 #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/" : '';