And yet I still have to explicitly click the 'Mark all notifications as read' button after reading, and closing a pull request on github...
Edit: That probably came across more snarky than I intended. The point was that this is easily said, but hard to do right.