checking out subsection of github repo via svn