Re: Problems with PIP ID Management

2021-09-28 Thread Michael Marshall
Thanks for your feedback Enrico. I'd appreciate any other thoughts on this process since I am proposing a change to a recently implemented PIP. Also, if we like this new direction, I think we should update our GitHub issue template to communicate this new process. I already have a PR for my propo

Re: Problems with PIP ID Management

2021-09-24 Thread Enrico Olivelli
Michael, Il Ven 24 Set 2021, 19:47 Michael Marshall ha scritto: > Hi Enrico, > > Thank you for raising this concern. Apparently acquiring a distributed > lock on a PIP number is non-trivial :) > We could use the first 3 digits of a hash computed on the title of the PIP. Just joking:) > > What

Re: Problems with PIP ID Management

2021-09-24 Thread Eron Wright
It is funny that we have four unrelated PIP-95 proposals. By the above principle, the true PIP 95 is "Smart Listener Selection with Multiple Bind Addresses". :) On Fri, Sep 24, 2021 at 10:47 AM Michael Marshall wrote: > Hi Enrico, > > Thank you for raising this concern. Apparently acquiring a

Re: Problems with PIP ID Management

2021-09-24 Thread Michael Marshall
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 re