In the December 2020 community call, we decided that this repository would be better named community instead since it hosts community files, like the CoC and authorship policy. We also plan on hosting the new discussion boards here for all projects.
The rename should be safe since GitHub redirects uses of the old name. That said, we need to change the links in:
In the December 2020 community call, we decided that this repository would be better named
community
instead since it hosts community files, like the CoC and authorship policy. We also plan on hosting the new discussion boards here for all projects.The rename should be safe since GitHub redirects uses of the old name. That said, we need to change the links in: