-
-
Notifications
You must be signed in to change notification settings - Fork 656
Open
Description
For HTML documentation built from PRs, ideally the banner at the top would give a link to the PR instead of saying that it's for the development version.
(Example: https://deploy-preview-37714--sagemath.netlify.app/html/en/reference/arithgroup/sage/modular/arithgroup/congroup_sl2z)
Also the source links should link to the branch of the PR, not the tagged version.
The necessary information is available in environment variables such as GITHUB_SERVER_URL
, GITHUB_REPOSITORY
, GITHUB_REF
, GITHUB_SHA
https://docs.github.com/en/actions/learn-github-actions/variables#default-environment-variables
And there could be a link to the CHANGES file.
Originally posted by @mkoeppe in #37589 (comment)