Skip to content

Conversation

@miss-islington
Copy link
Contributor

(cherry picked from commit 75b6ab8)

Co-authored-by: C.A.M. Gerlach [email protected]

@CAM-Gerlach
Copy link
Member

RM note: This docs-only fix will need to be backported as far as 3.7 to avoid any future commits/PRs touching the docs erroring out on the docs CIs due to the Pygments issue, as they all pick up the latest version of Pygments. After analyzing several alternatives to solving this, I picked the simplest alternative that involved the minimal changes and only touched lines that haven't been modified in nearly a decade, specifically to make backports as smooth as possible.

@CAM-Gerlach CAM-Gerlach requested a review from ambv April 12, 2023 00:45
@CAM-Gerlach CAM-Gerlach marked this pull request as draft April 13, 2023 03:24
@CAM-Gerlach
Copy link
Member

Marking this as draft for the moment, as we may not need to merge this (and then revert it) if Pygments releases the already-merged upstream fix quickly enough; see pygments/pygments#2407 .

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants