merge workflows

Do real-world linters really block merges over tiny formatting issues?

I had never used a linter before taking a software development class. At first I liked it because it caught simple mistakes and made them easy to fix.…