git commit amend; git push force