Report question

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