In the goraft implementation https://github.com/goraft https://github.com/goraft they use an explicit leave command that gets added to the log. This way if a le

In the goraft implementation https://github.com/goraft https://github.com/goraft they use an explicit leave command that gets added to the log. This way if a leave command was not received, a partition can be assumed.