Merge changes Ic3741f89,I21472a39
[osm/devops.git] / tools / update.sh
2017-07-13 garciadeblasTools to automate repo updates, tag creation and deletion 29/2029/1