$ git status で、コミット漏れがないか、名残惜しいものがないか確認して $ git fetch $ git log -1 $ git log -1 origin で二つのログを比較してプッシュ漏れがないか(相違がないか)確認して $ cd .. $ rm -rf {レポジトリ名} で、ディレクトリを消去。 ( git を使ったことによる特別な要素はトップにある `.git` ディレクトリだけです。)