PluginDownloader: Change default branch from master to HEAD

Many people are renaming their default branches from master to main or
something else (I just renamed mine). Using HEAD works no matter what
the default branch is named.
This commit is contained in:
Richard 2021-03-29 15:37:07 +02:00 committed by Valentin Lorentz
parent a003eff7a5
commit 911f875c1f

View File

@ -57,7 +57,7 @@ class GitRepository(VersionnedRepository):
pass
class GithubRepository(GitRepository):
def __init__(self, username, reponame, path='/', branch='master'):
def __init__(self, username, reponame, path='/', branch='HEAD'):
self._username = username
self._reponame = reponame
self._branch = branch