{"push_id":1871657421,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2c6eaa112506df18d110d37c1794de8fb0eaba30","before":"e6c456ef8f7bf3f73261aa49e152f34c9a9cadba","commits":[{"sha":"e2e42d720709c6514caa7d04571153feaf743947","author":{"name":"Bamboo","email":"9402f7fc96171cd4269ab031514f5902ccd21078@ertos.nicta.com.au"},"message":"[Bamboo deployment] Update default.xml. Changed: l4v\n\nBuild results URL: /browse/L4V-REGTEST-DEPLOY-650","distinct":true,"url":"https://api.github.com/repos/seL4/verification-manifest/commits/e2e42d720709c6514caa7d04571153feaf743947"},{"sha":"2c6eaa112506df18d110d37c1794de8fb0eaba30","author":{"name":"Bamboo","email":"9402f7fc96171cd4269ab031514f5902ccd21078@ertos.nicta.com.au"},"message":"[Bamboo deployment] Update default.xml. Changed: seL4\n\nBuild results URL: /browse/L4V-REGTEST-DEPLOY-651","distinct":true,"url":"https://api.github.com/repos/seL4/verification-manifest/commits/2c6eaa112506df18d110d37c1794de8fb0eaba30"}]}
{"actor":{"display_login":"ssrg-bamboo"}}