https://pantsbuild.org/ logo
#development
Title
# development
b

billowy-beach-68498

12/08/2016, 6:44 PM
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.