hard reset of develop

.gitlab-ci.yml

@@ -20,7 +20,8 @@ pages:
 
     # build the develop version into latest
     - git checkout develop
-    - git pull origin develop
+    - git fetch origin develop
+    - git reset --hard origin/develop
     - grunt dist
     - mkdir latest
     - mv public/* latest/.