Bug 577323 - Allow pushing to GitHub repos
This allows to also turn the read-only HTTPS github repo URL into
write-able SSH ones
Change-Id: I34bdf9ce027e90e2d6d572fc7b579be3ed29adea
diff --git a/cje-production/mbscripts/mb110_tagBuildInputs.sh b/cje-production/mbscripts/mb110_tagBuildInputs.sh
index af8052b..a22ff2e 100755
--- a/cje-production/mbscripts/mb110_tagBuildInputs.sh
+++ b/cje-production/mbscripts/mb110_tagBuildInputs.sh
@@ -61,7 +61,7 @@
if ! [[ "$from" == http* ]]; then
echo $from
else
- echo $(sed -e 's,http://git.eclipse.org/gitroot,ssh://genie.releng@git.eclipse.org:29418,' -e 's,https://git.eclipse.org/r,ssh://genie.releng@git.eclipse.org:29418,' <<< $from)
+ echo $(sed -e 's,http://git.eclipse.org/gitroot,ssh://genie.releng@git.eclipse.org:29418,' -e 's,https://git.eclipse.org/r,ssh://genie.releng@git.eclipse.org:29418,' -e 's,https://github.com/,git@github.com:,' <<< $from)
fi
}
export -f toPushRepo
diff --git a/cje-production/promotion/makeVisible.sh b/cje-production/promotion/makeVisible.sh
index 1cbf2ee..0d1b7cc 100644
--- a/cje-production/promotion/makeVisible.sh
+++ b/cje-production/promotion/makeVisible.sh
@@ -18,7 +18,7 @@
if ! [[ "$from" == http* ]]; then
echo $from
else
- echo $(sed -e 's,http://git.eclipse.org/gitroot,ssh://genie.releng@git.eclipse.org:29418,' -e 's,https://git.eclipse.org/r,ssh://genie.releng@git.eclipse.org:29418,' <<< $from)
+ echo $(sed -e 's,http://git.eclipse.org/gitroot,ssh://genie.releng@git.eclipse.org:29418,' -e 's,https://git.eclipse.org/r,ssh://genie.releng@git.eclipse.org:29418,' -e 's,https://github.com/,git@github.com:,' <<< $from)
fi
}
