@fuzzybot keeps force pushing

[papermc]

@fuzzybot keeps force pushing

[fuzzybot]

Sorry this was my mistake and I won't do it again on the master branch.

Sent from a thing that sends email.

On Jun 30, 2016, at 11:01 AM, Techcable [email protected] wrote:

Force pushing is bad and it messes other people up.

Example:

@fuzzybot merges his PR (without squashing)
about an hour later he force pushes over his old merge to try and squash it
@Zbob750 goes ._. to protest the force pushing
@fuzzybot merges another PR (without squashing)
@fuzzybot 8 minutes later he force pushes over his old merge
@jamierocks complains about him abusing force push

Please don't force push unless absolutely needed! It makes every body mad and messes up workflows.
You should either merge PRs by hand or use github's squash and merge button.
Force pushing is bad and messes stuff up, please don't use it unless absolutely needed!

—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub, or mute the thread.

[Techcable]

good 😄
Thanks again for helping with the project!