A tool to manipulate annoying notifications on Github (for which there's currently no API).