Hi Enrico, Thank you for raising this concern. Apparently acquiring a distributed lock on a PIP number is non-trivial :)
> What about sending an email to dev in order to ask for a new PIP id ? In this design, is it up to a committer (someone with write access to the Wiki page) to reply to the request with a PIP number? I think this could lead to confusion, as no one person would have the job and there could be delays in responding. Instead of receiving a PIP number, I think we could ask users to inspect the mailing list archive to determine the next PIP number. Then, the mailing list is the source of truth for PIP numbers, and there isn't any delay. This protocol can still have collisions if multiple people send PIPs at the same time. However, I think these collisions could be resolved quickly: the earliest email in the archive wins, and others need to pick the next number(s). Also, this raises a secondary question for me. In our new PIP process, are we copying PIPs from GitHub issues into the GitHub wiki? In order to push this conversation forward, I wrote a PR with my proposed solution to the problem: https://github.com/apache/pulsar/pull/12176. I am not attached to my solution per se, but I do think a solution to this problem should include an update to the GitHub template to help new PIP writers easily understand the process. > Does anyone volunteer to clean up the PIP list page ? Once we settle on a protocol, we will need to clean up, as now we have two PIP 97s. Thanks, Michael On Thu, Sep 23, 2021 at 9:51 AM Enrico Olivelli <eolive...@gmail.com> wrote: > > 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
