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