Introducing GitHub Super Linter: one linter to rule them all