Console Output

+ '[' false == false ']'
+ git push --set-upstream origin master
To github.com:eclipse-leshan/leshan.git
   29577d28..40f508b5  master -> master
Branch 'master' set up to track remote branch 'master' from 'origin'.
+ git push --tags
To github.com:eclipse-leshan/leshan.git
 * [new tag]           leshan-2.0.0-M13 -> leshan-2.0.0-M13