Add script to ease tag cleanup for every developers

This commit is contained in:
Gioacchino Mazzurco 2023-11-26 09:52:25 +01:00
parent e0873687a2
commit c0e564517e
No known key found for this signature in database
GPG Key ID: A1FBCA3872E87051

View File

@ -0,0 +1,20 @@
#!/bin/bash
function git_del_tag()
{
mTag=$1
for mRemote in $(git remote); do
echo "Attempting tag $mTag removal from remote $mRemote"
GIT_TERMINAL_PROMPT=0 git push $mRemote :$mTag || true
done
git tag --delete $mTag
}
for mModule in . build_scripts/OBS/ libbitdht/ libretroshare/ openpgpsdk/ retroshare-webui/ ; do
pushd $mModule
git_del_tag v0.6.7a
git tag --list | grep untagged | while read mTag; do git_del_tag $mTag ; done
popd
done