did the experiment that git won't push your code if its version is behind the server