diff options
| author | Michał Łyszczek <michal.lyszczek@bofc.pl> | 2019-08-22 22:52:04 +0200 |
|---|---|---|
| committer | Michał Łyszczek <michal.lyszczek@bofc.pl> | 2019-08-22 22:53:39 +0200 |
| commit | ccf162bfee031db448ee042a70e8dc32d3b4cd01 (patch) | |
| tree | feaedf4b7833bff0b220c988d8b9f2ad4bc53000 | |
| parent | 9564266c2271462abb19709706866dd53a7d1a4e (diff) | |
| download | embedlog-ccf162bfee031db448ee042a70e8dc32d3b4cd01.tar.gz embedlog-ccf162bfee031db448ee042a70e8dc32d3b4cd01.tar.bz2 embedlog-ccf162bfee031db448ee042a70e8dc32d3b4cd01.zip | |
fix git links after domain change
no_ci
Signed-off-by: Michał Łyszczek <michal.lyszczek@bofc.pl>
| -rwxr-xr-x | gen-download-page.sh | 4 | ||||
| -rwxr-xr-x | test-compilation.sh | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/gen-download-page.sh b/gen-download-page.sh index f7d252a..c870612 100755 --- a/gen-download-page.sh +++ b/gen-download-page.sh @@ -40,8 +40,8 @@ echo "be downloaded from: <a href=\"${remote}/\">${remote}</a><br>" echo "</p>" echo "<h1>git</h1>" echo "<p>" -echo "git clone git@bofc.pl:${project}<br>" -echo "git clone git://bofc.pl/${project}<br>" +echo "git clone git@git.bofc.pl:${project}<br>" +echo "git clone git://git.bofc.pl/${project}<br>" echo "git clone http://git.bofc.pl/${project}<br>" echo "</p>" diff --git a/test-compilation.sh b/test-compilation.sh index 693347f..440ee50 100755 --- a/test-compilation.sh +++ b/test-compilation.sh @@ -16,7 +16,7 @@ prepare() slot="${2}" # clone - if ! git clone git://bofc.pl/"${project}" "${project}-${slot}" + if ! git clone git://git.bofc.pl/"${project}" "${project}-${slot}" then echo "couldn't clone, sorry" exit 1 |