Don't require a .git suffix for the master repository name (JuliaLa…

…ng#17606) Closes JuliaLang#13881.
pwl · Jul 25, 2016 · 278fc02 · 278fc02
1 parent aa7acff
commit 278fc02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/version_git.sh b/base/version_git.sh
@@ -26,7 +26,7 @@ if [ "$#" = "2" -a "$2" = "NO_GIT" ]; then
  exit 0
 fi
 # Collect temporary variables
-origin=$(git config -l 2>/dev/null | grep 'remote\.\w*\.url.*JuliaLang/julia.git' | sed -n 's/remote\.\([a-zA-Z]*\)\..*/\1\//p')
+origin=$(git config -l 2>/dev/null | grep 'remote\.\w*\.url.*JuliaLang/julia' | sed -n 's/remote\.\([a-zA-Z]*\)\..*/\1\//p')
 if [ -z "$origin" ]; then
  origin="origin/"
 fi