• zen's avatar
    Do not force-push from integration to gatekeeper · 7dd83eb5
    zen authored
    Due to a wrong understanding of how the Translation Platform integration
    scripts work, we have previously configured force-pushes from the
    integration repo into the new gatekeeper repository.
    
    Actually, such forcing shouldn't be necessary because:
    
      - Gatekeeper should always be a subset of GitLab, and
      - Integration should fail early when fast-forwarding is not possible.
    
    This commit only reverts the pushing from integration to gatekeeper to
    be a normal push instead of a force-push.
    7dd83eb5