Add links to numbered changelog entries.

PiperOrigin-RevId: 948257078 Change-Id: I7c9747debade178a94020cdf43ad1c3613a5c29a
2026-07-15 04:34:00 -07:00
parent 64d4b3bdb2
commit b60609d2a1
2 changed files with 1267 additions and 1137 deletions
@@ -69,6 +69,7 @@ extlinks = {
        'issue #%s',
    ),
    'pr': ('https://github.com/google-deepmind/mujoco/pull/%s', 'PR #%s'),
+    'commit': ('https://github.com/google-deepmind/mujoco/commit/%s', '%s'),
 }

 # MuJoCo Warp documentation