A Git Push would definitely fail because he's not following the Git commands. He needs to add the files to his repo and commit them before pushing.
That's why he gets the error
If he doesn't add the files to his repo, he can't push the changes can he?
Also like @shahidh mentioned, it's better to