Commits on Oct 30, 2023

1. docs: show PR warning banner and fix links doc source pages …

   This fixes a few issues with the RTD doc building:
   
   * Warning banner is now shown for PR requests
   * Pages now link to the github source
   * The footer now shows the git commit they were built at
   
   This works by passing the RTD environment variables to the sphinx build
   process, which allows the conf.py file to get their values. Env vars
   are passed by a new flag, `--//sphinxdocs:extra_env`, which allows
   passing arbitrary environment variable values into the sphinx build
   process. To make future usage of the RTD env vars easier, the build
   process passes along all the `READTHEDOCS*` environment variables.
   
   Fixes bazelbuild#1516

   

   rickeylev committed Oct 30, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 8f31c85
   • Browse repository at this point

   Copy the full SHA

   8f31c85 View commit details

   Browse the repository at this point in the history

2. fixup! docs: show PR warning banner and fix links doc source pages

   

   rickeylev committed Oct 30, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 65a51ab
   • Browse repository at this point

   Copy the full SHA

   65a51ab View commit details

   Browse the repository at this point in the history

3. fixup! fixup! docs: show PR warning banner and fix links doc source p… …

   …ages

   

   rickeylev committed Oct 30, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 8632023
   • Browse repository at this point

   Copy the full SHA

   8632023 View commit details

   Browse the repository at this point in the history