GitHub randomly reverting merged commits without notification | Dark Hacker News