git-tips / tips

Most commonly used git tips and tricks.
http://git.io/git-tips
MIT License
21.39k stars 1.7k forks source link

Add alternative to remove remote tag #142

Closed blackjid closed 7 years ago

blackjid commented 7 years ago

I changed the name <tag-name> to <remote-tagname> be more explicit and to be consistent with the same command but for branches a couple of lines up.

dmlemos commented 7 years ago

I would swap the original with the alternative

hemanth commented 7 years ago

Yeah, that would be better, thanks.

On Fri, Mar 10, 2017, 7:40 AM Diogo Lemos notifications@github.com wrote:

I would swap the original with the alternative

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/git-tips/tips/pull/142#issuecomment-285552368, or mute the thread https://github.com/notifications/unsubscribe-auth/AABHi94RZWWyVExakMpaKurm_hye9TTvks5rkLENgaJpZM4MYhM_ .

blackjid commented 7 years ago

Thanks!

On Tue, Mar 28, 2017, 4:22 AM hemanth.hm notifications@github.com wrote:

Merged #142 https://github.com/git-tips/tips/pull/142.

— You are receiving this because you authored the thread.

Reply to this email directly, view it on GitHub https://github.com/git-tips/tips/pull/142#event-1018090787, or mute the thread https://github.com/notifications/unsubscribe-auth/AAN6xWgcDcXYP92c3MUjmVlCemmSuIBJks5rqMM9gaJpZM4MYhM_ .