Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gh-870 Added Closing PR section for close reasons #877

Merged
merged 3 commits into from Jun 5, 2022

Conversation

za
Copy link
Contributor

@za za commented Jun 2, 2022

where now we can opt to close as complete or not-planned.

GH issue: #870
GH blog:
https://github.blog/changelog/2022-05-19-the-new-github-issues-may-19th-update/

where now we can opt to close as complete or not-planned.

GH issue: python#870
GH blog:
https://github.blog/changelog/2022-05-19-the-new-github-issues-may-19th-update/
Copy link
Member

@ezio-melotti ezio-melotti left a comment

I'm not sure it's worth mentioning the blog entry and the date it was published. Maybe we don't even need a separate section and the two options can be mentioned elsewhere, even though this is a new feature and a separate section might make it more noticeable.

@za za changed the title Added Closing PR section for close reasons gh: #870 Added Closing PR section for close reasons Jun 4, 2022
@za za changed the title gh: #870 Added Closing PR section for close reasons gh-870 Added Closing PR section for close reasons Jun 4, 2022
@za
Copy link
Contributor Author

@za za commented Jun 4, 2022

Hi @ezio-melotti I've updated the PR. Please check again. Thank you.

Copy link
Member

@ezio-melotti ezio-melotti left a comment

Actually I just noticed that this is in the "Lifecycle of a pull request" page, but the closing reason only seem to apply to issues -- not pull requests. Pull requests can only be merged or closed.

Maybe it can be mentioned in the tracker.rst page instead?

because the closed reason is for issues and not for pull request.
@za
Copy link
Contributor Author

@za za commented Jun 4, 2022

Actually I just noticed that this is in the "Lifecycle of a pull request" page, but the closing reason only seem to apply to issues -- not pull requests. Pull requests can only be merged or closed.

Maybe it can be mentioned in the tracker.rst page instead?

PR updated! 🚀

@ezio-melotti ezio-melotti requested a review from erlend-aasland Jun 4, 2022
@ezio-melotti ezio-melotti merged commit 989b8c1 into python:main Jun 5, 2022
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants