Git 不要になったローカルリポジトリの削除方法は？


Git 初心者でございます。

ローカルリポジトリの作成は... `git init` で作成しました。

さて、プロジェクトが終了し、不要になったローカルリポジトリは、どのように削除するのでしょうか？



[code]

    $ git status
    
[/code]

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

[code]

    $ git fetch
    $ git log -1
    $ git log -1 origin
    
[/code]

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

[code]

    $ cd ..
    $ rm -rf {レポジトリ名}
    
[/code]

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

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



[code]

    $ git status
    
[/code]

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

[code]

    $ git fetch
    $ git log -1
    $ git log -1 origin
    
[/code]

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

[code]

    $ cd ..
    $ rm -rf {レポジトリ名}
    
[/code]

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

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

