Fixes branch missing for checkout (#8)

Refs #7
SemanticMediaWiki · Sep 13, 2019 · 7bfab8e · 7bfab8e
1 parent 1dfb03a
commit 7bfab8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/IndividualFileRelease.sh b/IndividualFileRelease.sh
@@ -19,7 +19,7 @@ echo
 echo "Cloning and checking out ${mediawiki} MediaWiki:"
 echo
 cd ${installdirectory}
-git clone https://gerrit.wikimedia.org/r/p/mediawiki/core.git ${softwaredirectory} --depth 20
+git clone https://gerrit.wikimedia.org/r/p/mediawiki/core.git ${softwaredirectory} --branch ${mediawiki} --depth 20
 cd ${softwaredirectory}
 git checkout origin/${mediawiki}
 echo "Done."