Introducing GitHub Super Linter: one linter to rule them all

Setting up a new repository with all the right linters for the different types of code can be time consuming and tedious. So many tools and configurations to choose from and often more than one