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