GitHub PushEvent at 2014-05-26 14:22:04
Repository: sched-deadline-dynamic-manager
Actor: balsini
Payload: {"shas":[["81beabe2e3d95238df3e37116af3e97297b7be12","4de2fd03b9c192cce3d9b45a316e3489b9242d65@sssup.it","Added basic infrastructure for loading XML parameter file","Alessio Balsini",true]],"size":1,"ref":"refs/heads/master","head":"81beabe2e3d95238df3e37116af3e97297b7be12"}