Comment Comment by anticensor Why does GitHub add PRs into repository as new commits even before author adds a merge commit rather than doing a usual multi-remote non-FF merge when merge action gets triggered? parent anticensor 6 years ago