search

gpm-org / gpm

A Github package manager for GitHub. Supports local installations, updates and management of releases published on GitHub.
9 stars 3 forks source link

registry ids should be case insensitive #26

Open rfuzzo opened 2 years ago

rfuzzo commented 2 years ago

registry ids should be case insensitive