関連ワード:  github delete a closed pull request    git delete closed pull request    git delete closed merge request    github delete a pull request    git delete a pull request    github delete pull request from history    github delete pull request completely    github delete pull request branch    can you delete a pull request    delete closed pull request