Github also squashes the commits of a PR before it merges/rebases it onto a branch though.