triage bot

Stream: triage

[Kevin Buzzard]

Welcome back to random issue bot, who seems to have been away since April!

[Notification Bot]

A message was moved here from #triage > PR !4#15711: feat(Combinatorics/SimpleGraph): Some lemmas... by Bryan Gin-ge Chen.

[Bryan Gin-ge Chen]

This is as good an opportunity as any to create a dedicated thread for the bot and also announce that hopefully there will be no more future absences. I found an action which claims to be able to automatically keep workflows from being disabled due to inactivity in the repo and added it yesterday: azure-scripts#20

[Damiano Testa]

I look forward to adding an action to maintain active the action that maintains active the triage bot.