Thanks so much Sebastian for putting in the work to set this up!
I agree that using the existing python typing issues repository is better than setting up yet another forum to monitor. If we can have a bot that emails anyone subscribed with a weekly summary of features issues, that would be perfect – is that easy to set up?
For ongoing discussions on typing-sig, I assume we’ll leave those be for now?
I’d also be supportive of closing issues with no activity in 6 months rather than a year, and/or including threads with more than 5 comments. Not sure if that’s too aggressive, but keeping the issues page high signal seems worthwhile to me.
_______________________________________________
From: Sebastian Rittau <srittau@rittau.biz>
Date: Thursday, November 4, 2021 at 7:58 AM
To: typing-sig@python.org <typing-sig@python.org>
Subject: [Typing-sig] Re: Where to discuss typing featuresAm 04.11.21 um 09:06 schrieb Sebastian Rittau:
Implementation
I propose to do the following to the typing issues:
- Add a new label "feature" for feature discussions.
- Add issue templates for new features (and a few other issue types) so that the correct label gets applied automatically.
- I volunteer to do housekeeping and go through the old issues in the typing repository, closing out outdated ones and applying the proper labels.
- As a first step, set up a bot that sends a weekly(?) mail to typing-sig with the titles and links to new feature issues and a list of feature issues that got new comments since the last mail.
- See how that works out.
I have now implemented steps 1 through 3. All feature suggestions can be found here: https://github.com/python/typing/issues?q=is%3Aissue+is%3Aopen+label%3A%22topic%3A+feature%22
This is a PR for issue templates for the typing repository: https://github.com/python/typing/pull/921 I'm sure that these templates can be improved upon immensely.
Another idea I have: Set up a GitHub Action that closes all feature issues that haven't had new comments for a year or more and have less than 5 comments. If someone still cares about this issue, they can reopen it or leave another comment.
- Sebastian
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: guido@python.org