PEP 581: Remove mention of "closing issues in bpo" (#917)
Issue will be moved to GitHub only when there is interest.
This commit is contained in:
parent
8e7b03ab1d
commit
08ce9d3c7f
|
@ -251,12 +251,9 @@ and associated comments into a GitHub issue.
|
||||||
|
|
||||||
We need to add a new status: "moved" with the url of the GitHub issue.
|
We need to add a new status: "moved" with the url of the GitHub issue.
|
||||||
|
|
||||||
We should not be moving all open issues to GitHub. Issues with little or no
|
We should not be moving all open issues to GitHub. Only when someone
|
||||||
activity should just be closed. Issues with no decision made for years should
|
is interested in continuing work or discussion about the issue, that
|
||||||
just be closed.
|
the issue should be "moved" to GitHub.
|
||||||
|
|
||||||
If a core developer is still interested in the issue, they can indicate so in
|
|
||||||
the bpo issue, and later use the button to migrate it over to GitHub.
|
|
||||||
|
|
||||||
Migrated issues
|
Migrated issues
|
||||||
---------------
|
---------------
|
||||||
|
|
Loading…
Reference in New Issue