On Monday, 4 December 2017 at 20:14:15 UTC, Ali Çehreli wrote: > 6) 'git push -force' so that your GitHub repo is up-to-date > right? (There, I mentioned "force". :) ) > The right option name is --force-with-lease ).