GitHub PushEvent at 2014-10-31 20:29:12
Repository: forester
Actor: martinhruska
Payload: {"shas":[["9d3ad6408b9fb2ad0e8e0e9a4adc02c40a731251","96800b34913a4f6c206b6903cbed181b182a503b@gmail.com","last changes","Martin Hruska",true],["f600beb44081d8b1b1dd46ca0e65fb696e11acca","96800b34913a4f6c206b6903cbed181b182a503b@gmail.com","gcc 4.8 for Makefile","Martin Hruska",true],["3b5187eb9e6a61d77a96e09ff210a4db30d80888","96800b34913a4f6c206b6903cbed181b182a503b@gmail.com","libvata update","Martin Hruska",true]],"size":3,"ref":"refs/heads/svcomp-fa-15","head":"3b5187eb9e6a61d77a96e09ff210a4db30d80888"}