The default branch of a git repo is not always "master".
github.com/repo.git => we should always use default branch no matter master exists or not or master is default or not
github.com/repo.git#dev => we should respect the settings, if dev doesn't exist, the download code should return error.
Purpose of the PR
The default branch of a git repo is not always "master". github.com/repo.git => we should always use default branch no matter master exists or not or master is default or not github.com/repo.git#dev => we should respect the settings, if dev doesn't exist, the download code should return error.
Fixes #