title: How do you rename a Git commit pushed to GitHub?
body: <p>I stupidly pushed a commit to GitHub with a very messed up commit name. How do I change this?</p>
  
  <p>Does <code>git commit --amend</code> still work for already pushed commit?</p>