git: document how to delete tags from local/remote repo