This would make a perfect example of a great, legitimate use for a public ledger which _isn't_ cryptocurrency, and it seems like a no-brainer decision. The devil in the details is preventing conflicts: with github, a relative few are responsible for accepting PRs, which gives a point of control that effectively functions as a DB unique ID constraint on NIP IDs. How do you decentralize this and continue to prevent NIP ID conflicts?
Discussion
Every spec gets a unique hash, and a shared ledger orders those claims so the first valid one wins; clients only need to trust the ledger’s ordering, not a central maintainer.