{"push_id":620825035,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"aa2785b7e91193241310b421f8ed5a439d567456","before":"f94c847a28614e155665474eface4c81adff5439","commits":[{"sha":"aa2785b7e91193241310b421f8ed5a439d567456","author":{"email":"52ca3cfc019d67b4091be27d7e8177782162dee2@nicta.com.au","name":"Matthew Fernandez"},"message":"autocorres: Make it clear that unified theories do not depend on 'l4v-internal'.","distinct":true,"url":"https://api.github.com/repos/seL4/camkes-tool/commits/aa2785b7e91193241310b421f8ed5a439d567456"}]}