Git vs. SVN: A Practice to Git-SVN GNU TeXmacs | Hacker News Reader