Marina made a git push to send her changes to the server. But Katie had already made many new commits before her. As a result, Marina got an error message git push rejected. Which command will help Marina fix everything and repeat the submission later?