Restore git push

Looks like it wasn't so complicated in the end.

What do you think?