GitHub PushEvent at 2014-01-06 21:14:21
Repository: ToolsForHomalg
Actor: mohamed-barakat
Payload: {"shas":[["e1686460b1cd17398017ab5617ba5b472d22fa4e","0706025b2bbcec1ed8d64822f4eccd96314938d0@quendi.de","Remove superfluous files","Max Horn",true],["dee83384929813a2f8fd8c51a1ec4277127b3682","d32242801706062bfd87e3362d27c0cb7ee7d6d0@rwth-aachen.de","Merge pull request #14 from fingolfin/master\n\nRemove superfluous files","Mohamed Barakat",true]],"size":2,"ref":"refs/heads/master","head":"dee83384929813a2f8fd8c51a1ec4277127b3682"}