Apparently git or github doesn't use master as default anymore...

This commit is contained in:
Maniack Crudelis 2020-05-02 13:44:15 +02:00
parent 274c87f7a5
commit f11a622ccc

View file

@ -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"