MariaDB moves development to git (on GitHub) | Hacker News Reader