Use Git push –force-with-lease (2017) | Hacker News Reader