An error occurred while fetching folder content.

rescheduled

stuebinm authored 3 years ago

This makes map loading (and parsing) part of the linter, and also makes
it return "general lints" and nothing else in case that failed.

Possibly a sum type would be nicer here, but I guess it's not really
important since everything ends up as json anyways?

bfe45dc4