Add automatic release deployment to .gitlab-ci.yml

.gitlab-ci.yml

@@ -22,3 +22,16 @@ deploy:nightly:
     - apk add lftp openssh-client
   script:
     - LFTP_PASSWORD="${DEPLOY_PASSWORD}" lftp -c "set cmd:fail-exit true; set sftp:auto-confirm true; open --user ${DEPLOY_USERNAME} --env-password sftp://${DEPLOY_HOST}/${DEPLOY_REMOTE_BASEDIR}/rodin/camille/develop/; mirror -vvv -R org.eventb.texteditor.repository/target/repository ."
+
+deploy:release:
+  stage: deploy
+  only:
+    - master@general/stups/camille
+  image: alpine:3
+  variables:
+    GIT_STRATEGY: none
+  before_script:
+    - apk update
+    - apk add lftp openssh-client
+  script:
+    - LFTP_PASSWORD="${DEPLOY_PASSWORD}" lftp -c "set cmd:fail-exit true; set sftp:auto-confirm true; open --user ${DEPLOY_USERNAME} --env-password sftp://${DEPLOY_HOST}/${DEPLOY_REMOTE_BASEDIR}/rodin/camille/; mkdir release-next; mirror -vvv -R org.eventb.texteditor.repository/target/repository release-next; mv release release-prev; mv release-next release"