Repository navigation

Fix GitHub sidebar detection and bump extension to 0.13 - #189

Closed

zhangzhenghao wants to merge 1 commit into

fix/github-sidebar-selectors

Closed

Fix GitHub sidebar detection and bump extension to 0.13#189
zhangzhenghao wants to merge 1 commit into
masterfrom
fix/github-sidebar-selectors

Commits on Oct 16, 2026
- fix: adapt repository sidebar selectors and bump extension to 0.13
  zhenghaoz
  committed
  e6982ed