MySQL GitHub repository did not have commits for three months | Dark Hacker News