Restoring Git force push from GitHub without the commits locally | Hacker News Reader