how to undo git commit and get the remote files copied back replacing the modified local files intended to be push but needs to be canceled and undone? (watch the plural)
