Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Feb 16, 2019

Among other things:

  • explain that pushing tags pushes both types
  • add second variation of how to delete remote tags

Signed-off-by: Robert P. J. Day rpjday@crashcourse.ca

Among other things:

 - explain that pushing tags pushes both types
 - add second variation of how to delete remote tags

Signed-off-by: Robert P. J. Day <rpjday@crashcourse.ca>
@ghost ghost force-pushed the topic/rpjday/tagging branch from a20ef45 to 3cf0752 Compare February 16, 2019 16:17
@ben ben merged commit 40c6c6f into progit:master Feb 16, 2019
@ghost ghost deleted the topic/rpjday/tagging branch February 21, 2019 14:34
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