GitHub – and GitHub users – can be kind of annoying sometimes. Here are a few tips to improve your day-to-day experience.

These are short-form “thoughts”, in addition to the usual longer-form articles in the blog. The goal is to publish one of these every weekday. I’d …