Git: How to Delete a Tag on GitHub Rating: 5 [#104] Jan 28, 2022 git push --delete origin <tag-name> Related Facts 8 git-absorb [#110] May 12, 2022 7 Git: Globally Ignore Files [#4] Nov 17, 2021 7 Magit: You Can Track Individual Stages With Wip Mode [#120] Jun 10, 2022 6 git: How to Get Commit Statistics [#126] Jun 16, 2022 4 Git: Whitelist Directory Subfiles [#3] Nov 17, 2021 2 more... 4 Github: You Can Organize Starred Repos in Lists [#109] May 11, 2022 3 Github Actions: Use the Action in the Current Repo [#34] Dec 1, 2021 git github