mobilemind

# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName

dmitshur

WARNING: If you're reading this in 2021 or later, you're likely better served by reading:

• https://go.dev/cmd/go#hdr-Configuration_for_downloading_non_public_code
• https://go.dev/ref/mod#private-modules

(This gist was created in 2013 and targeted the legacy GOPATH mode.)

$ ssh -A vm
$ git config --global url."[email protected]:".insteadOf "https://github.com/"