Editing the git commit message in GitHub
Is there any way of online editing the commit message in GitHub.com, after submission? From the command line, one can do git commit –amend -m “New commit message” as correctly suggested in another question. Trying git pull and then git push has worked (without any other commit having interfered in the mean time). But can … Read more