Push to a remote repo

We already have automatic pull from another repo.

Would be nice to be able to push to another repo too.

This way I can keep GitLab.com and my local server in sync.

I think you should be able to enable both push and pull and they should allow fast-forward and non-ff merges