Make default opengraph title configurable

Author: yuvipanda

binderhub/app.py

@@ -166,6 +166,14 @@ def _google_analytics_deprecation(self, change):
         config=True,
     )
 
+    default_opengraph_title = Unicode(
+        "The Binder Project",
+        help="""
+        The default opengraph title for pages that don't have a generated opengraph title.
+        """,
+        config=True,
+    )
+
     extra_footer_scripts = Dict(
         {},
         help="""
@@ -929,6 +937,7 @@ def initialize(self, *args, **kwargs):
                 "log_function": log_request,
                 "image_prefix": self.image_prefix,
                 "debug": self.debug,
+                "default_opengraph_title": self.default_opengraph_title,
                 "launcher": self.launcher,
                 "ban_networks": self.ban_networks,
                 "build_pool": self.build_pool,

binderhub/main.py

@@ -18,7 +18,7 @@ class UIHandler(BaseHandler):
     """
 
     def initialize(self):
-        self.opengraph_title = "The Binder Project"
+        self.opengraph_title = self.settings["default_opengraph_title"]
         self.page_config = {}
         return super().initialize()