Skip to content

Conversation

@alexkoziell
Copy link
Contributor

@alexkoziellalexkoziell commented Sep 25, 2018

Added a brief section on one way to delete tags both locally and remotely.

Closes#1111.

Added a brief section on one way to delete tags both locally and remotely.

==== Deleting Tags

To delete a tag on your local repository, you can use `git tag -d <tagname>`. For example, we could remove our lightweight tag above as follows:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is almost perfect. Would you reformat so that each sentence gets its own source line? It makes diffing in the future much friendlier.

@alexkoziell
Copy link
ContributorAuthor

Hopefully that's all good now? Thanks.

@ben
Copy link
Member

ben commented Sep 25, 2018

✨ thanks!

@benben merged commit e81eafd into progit:masterSep 25, 2018
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@alexkoziell@ben