diff --git a/maintenance/install_scripts.py b/maintenance/install_scripts.py index 56b6e1d7..5e9bdb94 100755 --- a/maintenance/install_scripts.py +++ b/maintenance/install_scripts.py @@ -40,7 +40,7 @@ def expand_url(url): if uri.scheme == "github": path = pathlib.Path(uri.path[1:]) repo = f"{uri.netloc}/{path.parts[0]}" - branch = get_main_branch(repo) + branch = dict(urllib.parse.parse_qsl(uri.query)).get("branch", get_main_branch(repo)) return ( f"https://raw.githubusercontent.com/{repo}/{branch}" f"/{'/'.join(path.parts[1:])}"