From f11a622cccd1b0fcb0d28bec94e0492a06a5f5d3 Mon Sep 17 00:00:00 2001
From: Maniack Crudelis <maniackc_dev@crudelis.fr>
Date: Sat, 2 May 2020 13:44:15 +0200
Subject: [PATCH] Apparently git or github doesn't use master as default
 anymore...

---
 package_check.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/package_check.sh b/package_check.sh
index be7650e..486d00f 100755
--- a/package_check.sh
+++ b/package_check.sh
@@ -514,6 +514,11 @@ package_path="$script_dir/$package_dir"
 # If the package is in a git repository
 if echo "$app_arg" | grep -Eq "https?:\/\/"
 then
+    # Force the branch master if no branch is specified.
+    if [ -z "$gitbranch" ]
+    then
+        gitbranch="-b master"
+    fi
 	# Clone the repository
 	git clone $app_arg $gitbranch "$package_path"