yeah I agree. But is there an alternative way of amending commit message after pushed to github? What happened yesterday was I didn't copy the PR description in "squash and merge" step, thus I didn't realize the mistake until the commit is in github.