Many projects have auto-closing issue bots. More than I realized. I also don’t like them, but it does force the reporter to stay engaged and bump issues they r

Many projects have auto-closing issue bots. More than I realized. I also don’t like them, but it does force the reporter to stay engaged and bump issues they really care about. Issue management seems like a major surface for Github to improve on. I have a work category for each of my projects named simply “ticket laundry” and I know it eats up a lot of time for maintainers and reporters.