diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000000000000000000000000000000000000..bc6b78599d953ab943a2753ceac6f15aa7a56e9f
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,16 @@
+---
+stages:
+- Git Sync
+- build
+- test
+- deploy
+git-sync:
+  before_script:
+  - eval `ssh-agent`
+  - echo "$PUSH_KEY" | ssh-add -
+  script:
+  - git sync-remote git@github.com:jscert/jsexplain.git git@gitlab.doc.ic.ac.uk:resource-reasoning/jsexplain.git
+  - ssh-agent -k
+  only:
+  - triggers
+  stage: Git Sync