Given this shared repo management, it would be good to discuss and write down a release process we are all happy with. I know @ludovicm67 has some good ideas already. Could you share them?