diff --git a/src/tools/get-tools-github b/src/tools/get-tools-github index 41e82d5f9b..008a2182f0 100755 --- a/src/tools/get-tools-github +++ b/src/tools/get-tools-github @@ -93,8 +93,8 @@ then if [ ! -f ga-"$GA_RELEASE_NO".tar.gz ]; then if test "x$TAR_URL" = x then -# TAR_URL=https://github.com/GlobalArrays/ga/releases/download/v"$GA_RELEASE_NO"/ga-"$GA_RELEASE_NO".tar.gz - TAR_URL=https://github.com/edoapra/ga/releases/download/v"$GA_RELEASE_NO"/ga-"$GA_RELEASE_NO".tar.gz + TAR_URL=https://github.com/GlobalArrays/ga/releases/download/v"$GA_RELEASE_NO"/ga-"$GA_RELEASE_NO".tar.gz +# TAR_URL=https://github.com/edoapra/ga/releases/download/v"$GA_RELEASE_NO"/ga-"$GA_RELEASE_NO".tar.gz # TAR_URL=https://github.com/edoapra/ga/releases/download/v"$GA_RELEASE_NO"/ga-5.8.2.v3.tar.gz # TAR_URL=https://github.com/GlobalArrays/ga/archive/refs/tags/v"$GA_RELEASE_NO".tar.gz # https://github.com/edoapra/ga/releases/download/v5.7.2/ga-5.7.2.tar.gz