GitHub desired workflow...

Lawrence Velázquez larryv at
Mon Oct 31 14:50:52 PDT 2016

> On Oct 31, 2016, at 5:46 PM, Lawrence Velázquez <larryv at> 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.


More information about the macports-dev mailing list