#git
Git: Remove local and remote tag 08 Oct 2018
In case you need to remove a tag from your Git repo. Local and remote.
Git: Delete Last Pushed Commit 20 Sep 2018
When you need to remove your last pushed commit.
Multiple SSH identities for multiple GIT remotes in OSX 16 Dec 2015
If you're a member of different development teams or you have a multiple GIT remotes setup, you might need to deal with multiple SSH identities. In my own case, I use my own git server (with Gogs) and BitBucket for my private repos, as well as GitHub for my public repos and gists. This is my setup to deal with multiple SSH identities in OSX.