Wouldn't it change the hash, making push requests conflict in many case?
GitHub was only modifying the description of the PR itself, not the commit messages for the commits included in the PR.
GitHub was only modifying the description of the PR itself, not the commit messages for the commits included in the PR.