結果 : how to delete a github branch in terminal