Re: [VOTE] Release 4.13.0, release candidate #0

2021-02-23 Thread Enrico Olivelli
Jia, The KEYS file is at another location, please check the initial message from this thread I imported Andrey's key correctly Enrico Il Mer 24 Feb 2021, 02:34 Jia Zhai ha scritto: > +1(binding) > Environment: macOS 10.15.6, jdk 8. > > - verified packages checksum and signatures, they look goo

Re: [VOTE] Release 4.13.0, release candidate #0

2021-02-23 Thread Jia Zhai
+1(binding) Environment: macOS 10.15.6, jdk 8. - verified packages checksum and signatures, they look good. - the source package build and test all run successfully. - in both binary package(server & all) and the target that build from src package, after change standalone.conf of allowloopback=t

Re: TLA+ specification for the BookKeeper replication protocol

2021-02-23 Thread Karan Mehta
Thanks Jack, this is quite helpful. I will check them out. On Tue, Feb 23, 2021 at 12:52 AM Jack Vanlightly wrote: > In terms of tools, thinking processes, setup... you really need to start by > learning about TLA+. I couldn't explain how it changes your engineering > mindset/workflow better tha

Clean build and NOTICE (was: Re: [VOTE] Release 4.13.0, release candidate #0)

2021-02-23 Thread Flavio Junqueira
A couple of things: 1- I haven't been able to get a clean build, I'll list the tests failures I observed below. 2- We need to update the year range in the NOTICE file to say 2021 instead of 2020. -Flavio [ERROR] org.apache.bookkeeper.client.SlowBookieTest.testSlowBookieAndFastFailOn Time el

Re: [VOTE] Release 4.13.0, release candidate #0

2021-02-23 Thread Henry Saputra
+1 (binding) LICENSE file looks good NOTICE file looks good Signature file looks good Checksum file matched No binary in the source artifact distribution RAT, Checkstyle passed Source compiled and tests passed (OSX, Java 1.8) On Thu, Feb 18, 2021 at 9:48 AM Andrey Yegorov wrote: > Hi everyone, >

Re: TLA+ specification for the BookKeeper replication protocol

2021-02-23 Thread Jack Vanlightly
In terms of tools, thinking processes, setup... you really need to start by learning about TLA+. I couldn't explain how it changes your engineering mindset/workflow better than Leslie Lamport himself. So if you're interested in this kind of thing then I highly recommend watching the TLA+ video cour