Skip to content

Instantly share code, notes, and snippets.

View versvs's full-sized avatar

versvs

View GitHub Profile
@versvs
versvs / git-tag-delete-local-and-remote.sh
Created October 20, 2017 08:32 — forked from mobilemind/git-tag-delete-local-and-remote.sh
how to delete a git tag locally and remote
# 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
// Install Ruby Version Manager along with Ruby + Rails
$ \curl -L https://get.rvm.io | bash -s stable --autolibs=3 --rails
//fetch the latest code from the CVUT team, that is more up-to-date in terms of dependencies
//and works like a charm, btw
$ git clone https://github.com/crewmate/crewmate.git
$ cd crewmate
// install ruby 1.9.3
$ rvm install 1.9.3