GitHub randomly reverting merged commits without notification | Hacker News Reader