Re: git workflow for D

[Eugene Wissner via Digitalmars-d-learn]

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 ).