For other people in the comments that may have a similar problem.
"The problem with doing something right the first time is nobody appreciates how hard it was."
teach a man to fish
... the PR would do that as well
Not necessarily. PR on GitHub can be merged with the push of a button so it's more likely to be looked at only cursory before getting merged and therefore will be forgotten whereas when the author needs to retype it they will have a stronger memory of it and they remember where to go back and look next time
Give a man a fire, he's warm for a day.
Set a man on fire, and he's warm for the rest of his life.