update svn-to-github instructions