4 ms·Is the github subversion server (backed by git repos) open sourced?by ptman 15y agoIs the github subversion server (backed by git repos) open sourced?