From 9cdb8cdf1592f146ee11d45599bacb8930e584d3 Mon Sep 17 00:00:00 2001
From: Michael Watzko <michael@watzko.de>
Date: Sun, 18 Mar 2018 20:48:15 +0100
Subject: [PATCH] Add gitlab mirror script

---
 .gitignore     |  2 +-
 .gitlab-ci.yml | 10 ++++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitignore b/.gitignore
index 70e3cae..c4ee550 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,3 @@
-
+*.iml
 /target
 **/*.rs.bk
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..9db64c5
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,10 @@
+# version 1.1.0
+mirror:
+    script:
+        - git config --global push.default simple
+        - git config --global push.followTags true
+        - git checkout -f ${CI_COMMIT_REF_NAME}
+        - git pull origin ${CI_COMMIT_REF_NAME}
+        - git push -q https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO}.git --all
+
+