結果 : how to delete a branch in github command line