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