GitHub desired workflow...

[Lawrence Velázquez]

> On Oct 31, 2016, at 5:46 PM, Lawrence Velázquez <larryv at macports.org> wrote:
> 
> Ultimately, anything you do before pushing is up to you, as long as
> you don't push any merge commits. We've disabled force-pushing on all
> master branches, so you don't have to worry too much doing that
> accidentally.

That is to say, you don't have to worry about accidentally
force-pushing. You still have to avoid pushing merge commits.

vq