Updated with info on how to delete a tag in a remote git repository.