github_banner

2026-06-05 22:50:18 +00:00 · 2016-01-15 18:57:40 -05:00
parent 851d65efb7
commit 6592dbc29b
1 changed files with 1 additions and 0 deletions
@@ -108,6 +108,7 @@ html_theme_options = {
  'show_powered_by': False,
  'github_user': 'kennethreitz',
  'github_repo': 'requests',
+  'github_banner': True
 }

 # Add any paths that contain custom themes here, relative to this directory.