diff options
| author | Mickael Istria | 2022-01-19 13:42:49 +0000 |
|---|---|---|
| committer | Mickael Istria | 2022-01-19 13:42:49 +0000 |
| commit | d75f9f4223f98141bede7a8c2ef2efdffb36b4a6 (patch) | |
| tree | 981dad8d27803145ec23989ce5321f510d4d2c38 | |
| parent | cb6fe4df71865c2d5e76c6e7ecfddaf66a52c61a (diff) | |
| download | eclipse.platform.releng.aggregator-d75f9f4223f98141bede7a8c2ef2efdffb36b4a6.tar.gz eclipse.platform.releng.aggregator-d75f9f4223f98141bede7a8c2ef2efdffb36b4a6.tar.xz eclipse.platform.releng.aggregator-d75f9f4223f98141bede7a8c2ef2efdffb36b4a6.zip | |
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
| -rwxr-xr-x | cje-production/mbscripts/mb110_tagBuildInputs.sh | 2 | ||||
| -rw-r--r-- | cje-production/promotion/makeVisible.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/cje-production/mbscripts/mb110_tagBuildInputs.sh b/cje-production/mbscripts/mb110_tagBuildInputs.sh index af8052ba2..a22ff2ecd 100755 --- a/cje-production/mbscripts/mb110_tagBuildInputs.sh +++ b/cje-production/mbscripts/mb110_tagBuildInputs.sh @@ -61,7 +61,7 @@ function toPushRepo() { 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 1cbf2ee06..0d1b7cc9f 100644 --- a/cje-production/promotion/makeVisible.sh +++ b/cje-production/promotion/makeVisible.sh @@ -18,7 +18,7 @@ function toPushRepo() { 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 } |