From 911f875c1f25d33c63c5aae0d2776f5dc566e483 Mon Sep 17 00:00:00 2001 From: Richard Date: Mon, 29 Mar 2021 15:37:07 +0200 Subject: [PATCH] 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. --- plugins/PluginDownloader/plugin.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/PluginDownloader/plugin.py b/plugins/PluginDownloader/plugin.py index 30032f5e1..dfd26843f 100644 --- a/plugins/PluginDownloader/plugin.py +++ b/plugins/PluginDownloader/plugin.py @@ -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