On 1 June 2016 at 19:55, Mehdi Amini <mehdi.amini at apple.com> wrote: > 12.2: mirror git to svn :) either that or use GitHub's SVN interface, which is RW. --renato