Miro switched to git
I finished up the work for converting our svn repository to git and pushed the whole thing to the server. You can follow along at https://git.participatoryculture.org/miro/.
I'll be spending the next week or so updating code, infrastructure, and documentation to reflect the change.