On Wednesday, 15 March 2017 at 13:14:31 UTC, deadalnix wrote:
This is making the history very spaghettified. Is that possible to have the bot rebase/squash commits and then pushing ?
I don't really agree with the argument. A merge commit is a clear way to integrate changes from a PR/branch. Just rebasing a PR on top of master removes a lot of information from git, only leaving references to github.
Can you be more specific, what you mean w/ spaghetti? The fact that reciew fixes are added to PRs.
Also github's commit view misleadingly shows commits from merged PRs/branches, which aren't actually in master.
