If you’re a Gmail user who gets GitHub notifications via email, you’ll notice that we’ve added subject-line links to issues and pull requests on notification messages. You can use these…