From 7bfab8ead249aa0a653bbcae70c52344c030615a Mon Sep 17 00:00:00 2001
From: Karsten Hoffmeyer <mediawiki@kghoffmeyer.de>
Date: Fri, 13 Sep 2019 08:43:06 +0200
Subject: [PATCH] Fixes branch missing for checkout (#8)

Refs #7
---
 IndividualFileRelease.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IndividualFileRelease.sh b/IndividualFileRelease.sh
index 0803dd5..6239624 100644
--- 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."