Merge pull request #5 from rasodu/detect-full-git-url

Look for @ sing in the repository name.
wei · Apr 16, 2020 · aae584d · aae584d
2 parents c388e4c + 21a1c0b
commit aae584d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/git-sync.sh b/git-sync.sh
@@ -17,7 +17,7 @@ then
     SOURCE_REPO="https://github.com/${SOURCE_REPO}.git"
   fi
 fi
-if ! echo $DESTINATION_REPO | grep '.git'
+if ! echo $DESTINATION_REPO | grep -E '.git|@'
 then
   if [[ -n "$SSH_PRIVATE_KEY" ]]
   then