Github issues automatically closed


Inactive issues in the github repository are being automatically closed by
a bot (random example
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 Francart* -* SPARNA*
Web de *données* | Architecture de l'*information* | Accès aux
blog :, site :, linkedin :
tel :  +33 (0), skype : francartthomas

Received on Friday, 7 August 2020 07:23:55 UTC