I saw this item in the list Subversion -> GitSubversion is the current repository for generated Cog VM sources. This is seen as less desirable than a git repository for integration with CI. Moving Cog from subversion to git may seem straight-forward but needs to be done with tact to help people over the transition.
I'm sure that esteban can help on this one. Stef
