Has anyone ever been annoyed with a thank you email? Compared to the crap/spam/adverts that turns up in our inboxes every single day, a genuine thank you from an actual human being should be fine. And if not, just stick it in the spam folder with everything else. Github stars are utterly meaningless to many.