# delete local tag 'v2.0.1'
git tag -d v2.0.1
# delete remote tag 'v2.0.1' (eg, GitHub version too)
git push origin :refs/tags/v2.0.1
# alternative approach
git push --delete origin v2.0.1
git tag -d v2.0.1
examples: !include examples//AmericanFlightExample.raml
examples:
output: !include examples/AmericanFlightExample.raml