@mira mira / git-tag-delete-local-and-remote
Created at Tue Jun 19 22:42:38 CEST 2018