diff --git a/tools/schematics/.gitkeep b/tools/schematics/.gitkeep deleted file mode 100644 index e69de29bb..000000000 diff --git a/tools/scripts/clear-branch-tags.sh b/tools/scripts/clear-branch-tags.sh new file mode 100755 index 000000000..9f371481e --- /dev/null +++ b/tools/scripts/clear-branch-tags.sh @@ -0,0 +1,4 @@ +#!/bin/bash +git fetch --all +git push -d origin $(git tag -l "BRANCH*") +git tag -d $(git tag -l "BRANCH*")