GitHub PushEvent at 2014-03-07 13:43:38
Repository: dotty
Actor: DarkDimius
Payload: {"shas":[["1cccbbf939790c980481d2a5ae19b33a6da1dd37","7f6c00a5ae822b32e4d88b51f9d6401090c9b740@gmail.com","Bringing back dotc script that was accidentely deleted.","Dmitry Petrashko",true]],"size":1,"ref":"refs/heads/script","head":"1cccbbf939790c980481d2a5ae19b33a6da1dd37"}