Use Ggit.Commit.amend to amend