04-30-2016, 07:10 PM
(This post was last modified: 05-01-2016, 02:00 PM by LogicParrot.)
Github has a neat feature now: Squash and merge. What it does is squash the commits of a PR into one commit, and then merges it with Master without a merge commit. The makes history cleaner. For instance, see the last two merges in master and compare them with older merges. I think we should mandate this by unchecking "Allow merge commits" in Github. I have no access to that, so can someone please do it?