[masklinn]

> Zed wrote up a long blog post telling the whole story but I think it's been deleted since.

The internet has a way of unshutting the whole thing up: https://web.archive.org/web/20130117043748/http://sheddingbi...

and the followup https://web.archive.org/web/20120619005253/http://sheddingbi...

[nailer]

Ah. Judging from the followup, and Zed seemed to be satisfied, I think I was wrong about GutHub: they handled this very well.