結果 : how to delete a local branch in github