Hacker News new | ask | show | jobs
by etiennebausson 79 days ago
Wouldn't it change the hash, making push requests conflict in many case?
1 comments
duskwuff 79 days ago
GitHub was only modifying the description of the PR itself, not the commit messages for the commits included in the PR.
link