How do I push amended commit to the remote Git repository?

Question

When I\'ve worked a bit with my source code, I did my usual thing commit and then I pushed to a remote repository. But then I noticed I forgot to organize my imports in the

Answer 1

I just kept doing what Git told me to do. So:

• Can't push because of amended commit.
• I do a pull as suggested.
• Merge fails. so I fix it manually.
• Create a new commit (labeled "merge") and push it.
• It seems to work!

Note: The amended commit was the latest one.