SML/NJ is moving from svn to Git(hub) | Heykuki News