Repository was pulled. Guess someone realised they'd made a terrible mistake. EDIT: Actually, the entire Github user account has been deleted. It's unclear at

Repository was pulled. Guess someone realised they'd made a terrible mistake. EDIT: Actually, the entire Github user account has been deleted. It's unclear at this point if this was done by the user themselves or whether Github has banned them. Here are some screenshots of what went down: http://i.imgur.com/t05rZNP.png http://i.imgur.com/t05rZNP.png http://i.imgur.com/GxgzQ9D.png http://i.imgur.com/GxgzQ9D.png