tree 5cba0b187b1877964f239d0adffa25326bb21065
parent a8cfb564d677c789ab1f4feebff436cd423b6d25
author Jan Schär <jan@jschaer.ch> 1712749804 +0200
committer Jan Schär <jan@jschaer.ch> 1712847097 +0000

m/n/c/curator: use full election prefix

NewElection appends "/" to the prefix. If we manually get the leader, we 
should also append "/". Otherwise, we could get the wrong result if a 
new key which starts with "/leader" is added.

Change-Id: I4bcafa945b14d610a6a1f4903452081c3e802e73
Reviewed-on: https://review.monogon.dev/c/monogon/+/2950
Reviewed-by: Serge Bazanski <serge@monogon.tech>
Vouch-Run-CI: Serge Bazanski <serge@monogon.tech>
Tested-by: Jenkins CI