Github issues automatically closed

Hello

Inactive issues in the github repository are being automatically closed by
a bot (random example https://github.com/schemaorg/schemaorg/issues/1715).
I find it sad. At least they should be moved to the new brainstorming repo.
I haven't seen any announcement or explanation about this, did I miss it ?
Are the people involved in the discussions supposed to shout if they don't
want the issue to be closed ?

Seeing discussions closed automatically without reaching a conclusion is
not encouraging people to contribute.

Thomas

-- 

*Thomas Francart* -* SPARNA*
Web de *données* | Architecture de l'*information* | Accès aux
*connaissances*
blog : blog.sparna.fr, site : sparna.fr, linkedin :
fr.linkedin.com/in/thomasfrancart
tel :  +33 (0)6.71.11.25.97, skype : francartthomas