関連ワード:  delete pull request in github    close pull request in github    cancel pull request in github    close pull request in github means    delete open pull request in github    delete pull request github enterprise    can you delete pull request in github    can we delete pull request in github    delete pull request history github    delete merge request github