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 it be done via the GitHub website?