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…