関連ワード:  delete pull request github    delete pull request git    delete pull request github enterprise    delete pull request gitlab    delete pull request gitea    delete merge request gitlab    close pull request github    cancel pull request github    delete merge request github    close pull request github meaning