Skip to main content
2 / 2
Added a step to check if you forget any push to origin.
Hiroshi Yamamoto
  • 6,349
  • 14
  • 32
$ git status

で、コミット漏れがないか、名残惜しいものがないか確認して

$ git fetch
$ git log -1
$ git log -1 origin

で二つのログを比較してプッシュ漏れがないか(相違がないか)確認して

$ cd ..
$ rm -rf {レポジトリ名}

で、ディレクトリを消去。

( git を使ったことによる特別な要素はトップにある .git ディレクトリだけです。)

Hiroshi Yamamoto
  • 6,349
  • 14
  • 32