Bastien Teinturier e93110b254 Use Github discussions instead of Gitter (#1954) ... Remove references to Gitter, so that newcomers use Github discussions instead.		2021-09-20 09:03:16 +02:00
..
workflows	Add shorter CI timeout (#1769)	2021-04-14 17:56:58 +02:00
ISSUE_TEMPLATE.md	Use Github discussions instead of Gitter (#1954)	2021-09-20 09:03:16 +02:00