sabato 1 settembre 2012

git: eliminare un repository locale

basta eliminare la cartella .git

nel caso in cui ci siano cartelle annidate (tipo sottomoduli):


find $GIT_DIR -name *.git* -ok rm -Rf {} \;
http://stackoverflow.com/questions/1213430/how-to-fully-delete-a-git-repository-created-with-init