Understanding git's --force-with-lease | Hacker News Reader