John MacFarlane 1cbaea673d Stop doing lint in CI. ...

The script failed for reasons I can't determine.
For now, we disable it.

2021-09-20 23:20:48 -07:00

..

ISSUE_TEMPLATE

Make parts of the bug report templates HTML comments.

2021-06-11 13:29:21 -07:00

workflows

Stop doing lint in CI.

2021-09-20 23:20:48 -07:00

FUNDING.yml

…