diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6a09866e80b8f04d6d4389456769159470cee9bd..3ec0c6afc520290f11e01b8658a6a91257f8a8c3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -83,4 +83,4 @@ merge into local:
   script:
     - git checkout local
     - git merge master
-    - git push https://$GITLAB_PUSH_KEY@gitlab.kwant-project.org/solidstate/lectures.git local
+    - "git push https://$GITLAB_PUSH_KEY@gitlab.kwant-project.org/solidstate/lectures.git local"