Update 'dev' tag on success

.travis.yml

@@ -69,6 +69,9 @@ script:
   - cmake -DGATTLIB_FORCE_DBUS=TRUE -DCMAKE_BUILD_TYPE=Release .. && make VERBOSE=1 && cpack ..
   - popd
 
+after_success:
+  - if [ "$TRAVIS_BRANCH" = "master" -a "$TRAVIS_PULL_REQUEST" = "false" ]; then ./update-dev-tag.sh; fi
+
 before_deploy:
   # Create directory to store the artifacts we want to deploy
   - mkdir artifacts

update-dev-tag.sh

@@ -0,0 +1,6 @@
+#!/bin/bash
+
+git config --global user.email "olivier@labapart.com"
+git config --global user.name "Olivier Martin"
+git tag -f dev -a -m "Generated tag from TravisCI build $TRAVIS_BUILD_NUMBER"
+git push --quiet https://${GITHUB_OAUTH_TOKEN}@github.com/labapart/gattlib --force dev > /dev/null 2>&1