Today I Learned: How to Delete Git-Tag Remotely.
A simple command to save your days :)   TLDR;    # delete remotely $ git push --delete...
Tags: gitlab, todayilearned, github, git