Repository navigation

fix: name info.json plugins by the name they report about themselves - #86

Merged

dsherret merged 7 commits into

mainfrom

fix_info_plugin_names

Oct 3, 2026

Merged

fix: name info.json plugins by the name they report about themselves#86
dsherret merged 7 commits into
mainfrom
fix_info_plugin_names

Commits on Oct 3, 2026
- fix: name info.json plugins by the name they report about themselves
  dsherret
  committed
  2c72bd4
- give every info.json entry a repo
  dsherret
  committed
  5a7eff7
- test the name shown for a plugin on the homepage
  dsherret
  committed
  af9ecb9
- rename the info.json repo property to github
  dsherret
  committed
  c575675
- Revert "rename the info.json repo property to github"
  dsherret
  committed
  9fd3a49
- Merge remote-tracking branch 'origin/main' into fix_info_plugin_names
  dsherret
  committed
  c0dc571
- show community plugins without the dprint-plugin- prefix on the homepage
  dsherret
  committed
  8a1b114