関連ワード:  close pull request github    close pull request github meaning    close pull request github api    cancel pull request github    cancel merge request github    delete closed pull request github    reopen closed pull request github    open closed pull request github    close issue with pull request github    close pull request without merging github