12 Aug
2023
12 Aug
'23
4:40 a.m.
Hi Dan,
On 11/8/23 7:08 pm, Dan Wilcox wrote:
I have Github notifications turned off on the main pure-data repo (otherwise I would go crazy), but I do check now and then. We have almost 400 open issues, many of which go back 5 years or so. Can we go through and close things which have been resolved or are simply inactive?
I can recommend the following GitHub action for closing inactive issues which is in place on a different project I contribute to:
https://github.com/piku/piku/blob/master/.github/workflows/close-inactive-is...
Chris.