feat(maintenance): clarifications on decision making and reviewer/maintainer teams - #864

feat(maintenance): clarifications on decision making and reviewer/maintainer teams#864

fmontesi merged 8 commits into

mainleanprover/cslib:mainfrom

fmontesi/decision-makingleanprover/cslib:fmontesi/decision-makingCopy head branch name to clipboard