title: Gitlab repository mirroring
body: <p>Is it possible to have <a href="http://gitlabhq.com/" rel="nofollow noreferrer">gitlab</a> set up to automatically sync (mirror) a repository hosted at another location?</p>
  <p>At the moment, the easiest way I know of doing this involves manually pushing to the two (gitlab and the other) repository, but this is time consuming and error prone.</p>
  <p>The greatest problem is that a mirror can resynchronize if two users concurrently push changes to the two different repositories. The best method I can come up with to prevent this issue is to ensure users can only push to one of the repositories.</p>