In my opinion, they should thank Zed. Github missed a really important issue and he proved it. First thing in social and content driven system is to spam-proof it. Especially that Github is all about productivity.