switch branch after git clone
Change-Id: I04c802a0bc85220d2b51285f5704d5634022ed1f
This commit is contained in:
parent
784d38c63f
commit
5d94576271
@ -50,6 +50,7 @@ copy2dir()
|
|||||||
echo "git clone $repo $destdir suceeded"
|
echo "git clone $repo $destdir suceeded"
|
||||||
fi
|
fi
|
||||||
cd $destdir
|
cd $destdir
|
||||||
|
git checkout $git_branch
|
||||||
git reset --hard remotes/origin/$git_branch
|
git reset --hard remotes/origin/$git_branch
|
||||||
fi
|
fi
|
||||||
if [[ ! -z $ZUUL_REF || ! -z $GERRIT_REFSPEC ]]; then
|
if [[ ! -z $ZUUL_REF || ! -z $GERRIT_REFSPEC ]]; then
|
||||||
|
Loading…
Reference in New Issue
Block a user