I definitely intend to move to the GH deploy mechanism, but yeah, while I’m still “playing” with rules and hooks, it’s a bit easier to do it all directly in the dashboard, but the linter is doing my head in. I know I could just add the semis and make it stop, but it seems really like the linter is being a bit too strict on me here!
Fair enough though if it’s some 3rd party thing you use that you can’t easily configure. That explains the inconsistent indenting shortcuts and other weird keyboard shortcuts it has, that I’d also like to turn off!
In fact I’ve just had a look and it’s CodeMirror - I imagine that’s actually quite configurable, but may I also suggest your devs look into Monaco Editor - there are a couple of React integrations: react-monaco-editor and @monaco-editor/react. I haven’t used either so can’t speak for how good they are, but I have implemented a Monaco instance into a Vue app before and it was fairly straightforward. Gives a lot of standard editing feature right out of the box. Anyway this is now a digression!