def delete_tag(tag, directory=None):
    execute_command('git tag -d {0}'.format(tag), shell=True, cwd=directory)
Deletes a given local tag.
dataset/ETHPy150Open ros-infrastructure/bloom/bloom/git.py/delete_tag