GitHub has a lot of tools for handling notifications. This doesn’t necessarily guarantee ease of use. It’s really easy to forget to return to an issue, or miss a pull request you were assigned to review.
I was lying in bed this morning planning the best way to handle a merge conflict I know is coming with a colleague’s PR today, and I realized I’d like to know a couple of tricks for certain situations. Here they are:
I’m here to tell you the story of Lintron, our pull request linting robot.
Lintron is a tool that I wrote which automatically lints all code in all of our
pull requests at Revelry. We’ve been using it constantly since May and we’ve had