{"push_id":3402627304,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"920cbbb43124f7446462e86284a7d7cfd0c2009d","before":"0a30ab408ef134c4230a2818447cdf4f730c2364","commits":[{"sha":"920cbbb43124f7446462e86284a7d7cfd0c2009d","author":{"name":"Anna Lyons","email":"b024385cd0839ca5ebc74202f97146fc91695cea@data61.csiro.au"},"message":"camkes/templates: expose dataport frame details\n\nAdds a symbol array for hardware MMIOs such that connectees can\nfind caps and details of each mapped frame.","distinct":true,"url":"https://api.github.com/repos/seL4/camkes-tool/commits/920cbbb43124f7446462e86284a7d7cfd0c2009d"}]}
{"actor":{"display_login":"ssrg-bamboo"}}