Skip to content

Conversation

@webknjaz
Copy link
Contributor

@webknjaz webknjaz commented Dec 9, 2025

This patch replaces homegrown RST roles for linking GH PRs/users/issues with centrally maintained ones where possible.

Ref: https://github.com/sloria/sphinx-issues#usage-inside-the-documentation

Resolves #3202

  • ran the linter to address style issues (tox -e fix)
  • wrote descriptive pull request text
  • ensured there are test(s) validating the fix
  • added news fragment in docs/changelog folder
  • updated/extended the documentation

This patch replaces homegrown RST roles for linking GH PRs/users/issues
with centrally maintained ones where possible.

Ref: https://github.com/sloria/sphinx-issues#usage-inside-the-documentation

Resolves tox-dev#3202
@webknjaz webknjaz force-pushed the maintenance/3202-sphinx-issues branch from c523a7e to 9269e2c Compare December 9, 2025 21:07
@gaborbernat gaborbernat merged commit 18ce76d into tox-dev:main Dec 9, 2025
28 checks passed
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.

[docs][infra] Integrate the sphinx-issues extension

2 participants