Resolve "use counted maps instead of counters in authority members"

Closes #148 (closed)

changed milestone to %runtime-800

added D-easy P7-nicetohave RN-runtime labels

assigned to @c-geek

added 1 commit

• 58ba354f - wip(#148 (closed)): removing AuthoritiesCounter

Compare with previous version

added 1 commit

• ec23a846 - fix(#148 (closed)): remove AuthoritiesCounter

Compare with previous version

mentioned in issue #148 (closed)

added 2 commits

• 6c35d792 - fix(#148 (closed)): reveal bug with a test
• 64bc018b - fix(#148 (closed)): remove AuthoritiesCounter

Compare with previous version

marked this merge request as ready

added 6 commits

• 64bc018b...644aef3f - 3 commits from branch master
• d62c033a - fix(#148 (closed)): reveal bug with a test
• 0e9cf55d - fix(#148 (closed)): remove AuthoritiesCounter
• 8ba0678d - fix(#148 (closed)): update metadata.scale

Compare with previous version

enabled an automatic merge when the pipeline for 8ba0678d succeeds

merged

mentioned in commit 874d1c93

requested review from @HugoTrentesaux

@HugoTrentesaux oops, j'ai mergé un peu vite, j'ai confondu. Peux-tu vérifier ? Sinon nous pourrons faire un revert.

Ça me semble très bien d'avoir un getter authorities_counter() au lieu de ce comptage manuel buggué. Pour des si petites MR c'est vraiment pas grave de merger rapidement Merci !