結果 : how to amend git commit after push