terminal/.github/workflows
Mike Griese c173f20244
Gank the linter harder (#8162)
Let's not just disable the `on` rules for the linter, let's just remove
it entirely. The way it's set up now, you'll get an email every time you
push to a PR, because GitHub fails to find any time to run the linter. 

* [x] I work here
* [x] Follow-up to #8152
2020-11-04 10:41:50 -08:00
..
spelling.yml ci: spelling: update to 0.0.16a; update advice (#5922) 2020-05-28 08:01:52 -05:00