Merge pull request #1922 from minrk/master-message

GitHub: only show "master" branch message if master branch is requested
jupyterhub · Jan 30, 2025 · 5a4bf55 · 5a4bf55
2 parents e8e336d + dd86179
commit 5a4bf55
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/binderhub/builder.py b/binderhub/builder.py
@@ -325,11 +325,11 @@ async def get(self, provider_prefix, _unescaped_spec):
             ]
 
             if provider.name == "GitHub":
-                error_message.append(
-                    'GitHub recently changed default branches from "master" to "main".'
-                )
-
                 if provider.unresolved_ref in {"master", "main"}:
+                    if provider.unresolved_ref == "master":
+                        error_message.append(
+                            'GitHub has changed default branches from "master" to "main".'
+                        )
                     error_message.append(
                         "Tip: HEAD will always resolve to a repository's default branch."
                     )