Skip to content

infra: rename GP-News keys - #188

Merged
Perry2004 merged 1 commit into
mainfrom
infra/rename-gpnews-table
Jun 14, 2026
Merged

infra: rename GP-News keys#188
Perry2004 merged 1 commit into
mainfrom
infra/rename-gpnews-table

Commits

Commits on Jun 14, 2026