Submitted. (was a great opportunity to verify the new Merge button restrictions)
Thanks, Andor On Fri, 2023-06-16 at 16:27 +0200, Andor Molnar wrote: > Looks like Michael and Flavio have already reviewed and approved it, > so > let's merge it then. > > Andor > > > > On Fri, 2023-06-16 at 16:12 +0200, Enrico Olivelli wrote: > > Sirius, > > > > Il giorno ven 16 giu 2023 alle ore 15:09 Yang Sirius > > <alpha.canis.majo...@outlook.com> ha scritto: > > > Hi Andor, > > > > > > I am writing to inquire about the possibility to include the TLA+ > > > specifications for ZooKeeper in the upcoming release, version > > > 3.9.0. The proposal to provide TLA+ specifications for ZooKeeper > > > was raised in ZOOKEEPER-3615< > > > https://issues.apache.org/jira/browse/ZOOKEEPER-3615>;;, and > > > addressed via pull request #1690< > > > https://github.com/apache/zookeeper/pull/1690> on github. > > > > > > Formal specifications can serve as precise documentation of the > > > Zab > > > design and implementation, and can help eliminate any ambiguities > > > in the informal protocol description, which would be beneficial > > > for > > > ZooKeeper learners and developers. Popular consensus protocols > > > like > > > Paxos and Raft also provide their TLA+ specifications. It would > > > be > > > great to merge the pull request and include the TLA+ > > > specifications > > > for ZooKeeper in the new version. > > > > > > I have also raised a request for the review of pull request > > > #1690< > > > https://github.com/apache/zookeeper/pull/1690> to the ZooKeeper > > > developer mailing list. More details can be found at > > > https://lists.apache.org/thread/ww4v1r733whcds64jg5wt7ozclbjhdr0 > > > . > > > > > > Looking forward to your feedback! > > > > I would like to commit that patch, but unfortunately there is an > > open > > discussion and we need some reviewers to formally approve it. > > > > That said, that patch is mostly about "documentation" and it can be > > committed after the 3.9.0 release. > > > > Enrico > > > > > Best regards, > > > > > > Sirius > > > > > > > > > 2023年6月15日 19:57，Andor Molnar <an...@apache.org<mailto: > > > an...@apache.org>> 写道： > > > > > > Hi folks, > > > > > > There're 64 open tickets which has fixVersion = 3.9.0 > > > I'll remove the fixVersion from all of them except the ones that > > > we > > > marked as release blockers. > > > > > > Currently: > > > > > > - ZOOKEEPER-4393 Problem to connect to zookeeper in FIPS mode > > > - ZOOKEEPER-4622 Add Netty-TcNative OpenSSL Support > > > - ZOOKEEPER-4655 Communicate the Zxid that triggered a WatchEvent > > > to > > > fire > > > > > > Please let me know if you would like to add anything to this > > > list. > > > > > > Regards, > > > Andor > > > > > > > > > > > >
