What I find problematic in Github is that it doesn't automatically put the reference to the PR on each commit, as for the squash merge