{"push_id":573511701,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c949724992db90b46cc010989957aa0153456286","before":"a2928cf4d6c3959ac61528fd87b5d016e5e8e61e","commits":[{"sha":"c949724992db90b46cc010989957aa0153456286","author":{"email":"52ca3cfc019d67b4091be27d7e8177782162dee2@nicta.com.au","name":"Matthew Fernandez"},"message":"Adjust stack switching for libutils and libsel4utils changes.","distinct":true,"url":"https://api.github.com/repos/seL4/sel4test/commits/c949724992db90b46cc010989957aa0153456286"}]}