fetch and checkout from git path

This commit is contained in:
Shlomi Noach 2020-02-05 09:54:07 +02:00
parent 3528d67550
commit 9201b9bc04

View File

@ -16,8 +16,11 @@ echo "local commit is: $local_commit"
if [ "$remote_commit" != "$local_commit" ] ; then if [ "$remote_commit" != "$local_commit" ] ; then
rm -rf ./gh-ost-ci-env rm -rf ./gh-ost-ci-env
git clone https://github.com/github/gh-ost-ci-env.git git clone https://github.com/github/gh-ost-ci-env.git
git fetch origin real-tar-gz (
git checkout real-tar-gz cd gh-ost-ci-env
git fetch origin real-tar-gz
git checkout real-tar-gz
)
fi fi
test_mysql_version() { test_mysql_version() {