結果 : how to delete github branch in terminal