GIT: To force-push or not to force-push | Hacker News Reader