I found a one-char typo in the docs for Python's typing_extensions library

Re:I found a one-char typo in the docs for Python's typing_e... by mjw1007 on Friday January 07, 2022 @10:31AM (#29840270)

Does github provide a way to redirect the URLs for individual issues to the corresponding issues on a new bugtracker?

[ Parent | on HN ]

Re:I found a one-char typo in the docs for Python's typing_e... by shkkmo on Friday January 07, 2022 @10:40AM (#29840374)

Probablu not, but you could probably find or write a script to close all the github issues with a final comment linking to the duplicated issue on the new tracker.

[ Parent | on HN ]