@nedbat@hachyderm.io

I have. I just hate doing it through GitHub's messaging system. That said, if that person ever had a real address registered with GitHub, I use an API script to scrape it out so I can try sending direct (which has really surprised some recipients).