--force considered harmful; understanding git's --force-with-lease | Hacker News Reader