Skip to content

Conversation

alexkoziell
Copy link
Contributor

@alexkoziell alexkoziell 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
Contributor Author

Hopefully that's all good now? Thanks.

@ben
Copy link
Member

ben commented Sep 25, 2018

✨ thanks!

@ben ben merged commit e81eafd into progit:master Sep 25, 2018
Sign up for free to 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