GitHub PushEvent at 2014-08-12 08:21:52
Repository: domjudge
Actor: eldering
Payload: {"shas":[["635e75097aafc0350d784fd17a177bfd82a4d512","5991c102ea77794a3ee8e5b62e7096746f703c1d@a-eskwadraat.nl","Generalize time/mem/filesize limits to all scripts.","Jaap Eldering",true],["deb03e0653058d30b2043af35403fc995a474384","5991c102ea77794a3ee8e5b62e7096746f703c1d@a-eskwadraat.nl","Apply runguard limits to compare scripts.","Jaap Eldering",true],["0d244a89eac764890d8e40f649ebe001cab97f7f","5991c102ea77794a3ee8e5b62e7096746f703c1d@a-eskwadraat.nl","Make SQL configuration.name a unique key.","Jaap Eldering",true],["c235b6cb8ac0bee230d61c30441c36ea69b2ce7e","5991c102ea77794a3ee8e5b62e7096746f703c1d@a-eskwadraat.nl","Restyle JS collapse linked headings.","Jaap Eldering",true],["b3bb4ae9ec8ffc805946572ad7598a93e34bd66e","5991c102ea77794a3ee8e5b62e7096746f703c1d@a-eskwadraat.nl","Rename SQL upgrade to DEV version.","Jaap Eldering",true],["a4ded8ab63a237d155e6bd4d128a7dbecffc5cae","5991c102ea77794a3ee8e5b62e7096746f703c1d@a-eskwadraat.nl","WIP: layout changes, truncate long lines, other cosmetics.","Jaap Eldering",true]],"size":6,"ref":"refs/heads/master","head":"a4ded8ab63a237d155e6bd4d128a7dbecffc5cae"}