Hello, Today I had to rename my PIP from PIP-93 to PIP-95 because PIP-93 was picked up. Then I realised that PIP95 already exists on GitHub, then I moved to PIP-97.
There are multiple PIP-95 on the Wiki page. https://github.com/apache/pulsar/wiki We need a way to assign new PIP ids What about sending an email to dev in order to ask for a new PIP id ? Only committers have write privileges to the Wiki pages, so any PIP id assignment needs a sponsor that assigns the PIP id and creates the wiki page. I propose to add a link to the PIP issue in the wiki page until the PIP is accepted, because we recently decided to run PIP discussions as GH issues Does anyone volunteer to clean up the PIP list page ? Regards Enrico