| ▲ | etiennebausson 9 hours ago | |
Wouldn't it change the hash, making push requests conflict in many case? | ||
| ▲ | duskwuff 8 hours ago | parent [-] | |
GitHub was only modifying the description of the PR itself, not the commit messages for the commits included in the PR. | ||