On 05.10.2015, at 13:51, Tom Fennelly <[email protected]> wrote:
> I'm not even sure that was ever an agreed upon "rule" (thou shalt not > squash), but I do know there are people for and against it and nobody is > right (imo), so it should be the choice of the PR owner to do it or not > (without getting badgered either way). The PR owner probably should not rewrite the PR history as this will lose review comments AFAICT. And they generally cannot merge themselves. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/EB362546-369B-4AB7-ADF7-3D260B9FE830%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
