A tool to repeatedly sync subsets of a Subversion repository to Github