結果 : how to delete repository in git command line