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