git remote url does not contain .git extension in github actions

This commit is contained in:
downtownallday
2021-08-23 16:17:07 -04:00
parent 0876a9a7de
commit be932af813
+1 -1
View File
@@ -78,7 +78,7 @@ installed_state_compare() {
local compare_type="all" local compare_type="all"
source "$s2/info.txt" source "$s2/info.txt"
if [ -z "$GIT_ORIGIN" ] || grep "mailinabox-ldap.git" <<<"$GIT_ORIGIN" >/dev/null; then if grep "mailinabox-ldap" <<<"$GIT_ORIGIN" >/dev/null; then
GIT_ORIGIN="" GIT_ORIGIN=""
source "$s1/info.txt" source "$s1/info.txt"
if ! grep "mailinabox-ldap.git" <<<"$GIT_ORIGIN" >/dev/null; then if ! grep "mailinabox-ldap.git" <<<"$GIT_ORIGIN" >/dev/null; then