Merge branch 'master' into 'release'

release 0.1.7

See merge request !6

.gitlab-ci.yml

@@ -58,7 +58,7 @@ deploy github release:
   before_script:
     # Install ssh-agent if not already installed, it is required by Docker.
     # (change apt-get to yum if you use a CentOS-based image)
-    - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client -y )'
+    - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client zip -y )'
     # Run ssh-agent (inside the build environment)
     - eval $(ssh-agent -s)
     # For Docker builds disable host key checking. Be aware that by adding that
@@ -83,7 +83,6 @@ deploy github release:
   - git tag $VERSION HEAD
   - git push github HEAD:release
   - git push github $VERSION
-  - git push $VERSION
   - github-release release -s $GITHUB_TOKEN -u coolya -r mbeddr.arduino -t $VERSION
   - github-release upload -s $GITHUB_TOKEN  -u coolya -r mbeddr.arduino -t $VERSION -f gradle/build/artifacts/mbeddr-arduino/mbeddr-arduino.zip -n mbeddr-arduino.zip
   only: