tree db52924fb027abb15a568d5e29108178b9840095
parent 8802eded961386ea480bd087c5bae9d2a2589c8a
author Raphael Isemann <teemperor@gmail.com> 1612168934 +0100
committer Copybara-Service <copybara-worker@google.com> 1612517468 -0800

[lldb][docs] Attempt to disable the generated GitHub button on the LLDB website

For unknown reasons the alabaster theme on the docs server is always generating
a GitHub link in the side bar. Beside the privacy problems of having an iframe
to some third-party service, we never configured any GitHub integration so
this button just links to the GitHub main site.

The button generation should be disabled by default, but as that's apparently
not true in the alabaster theme on the server, this patch tries working around
the issue by just explicitly turning off the GitHub integration.

GitOrigin-RevId: 2939d2e1b46c05432864db333ca3d5cb7ab83533