{"push_id":2441036969,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b12afb5b0674f88197d1b4def5c45cf5c34f20bb","before":"7840e7ea661b0c602ed3ce54b5c4396ba75a1d63","commits":[{"sha":"e8f2fe5791851bc6bc2baf005ecc1fb577cc8fad","author":{"name":"wenzelm","email":"1f6ffad54c80dfd4b544f3ad2a39be1873071d55@none"},"message":"proper self_update of components -- do assume shared file-system;","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/e8f2fe5791851bc6bc2baf005ecc1fb577cc8fad"},{"sha":"b12afb5b0674f88197d1b4def5c45cf5c34f20bb","author":{"name":"wenzelm","email":"1f6ffad54c80dfd4b544f3ad2a39be1873071d55@none"},"message":"clarified handling of stdout vs. stderr: the cronjob should normally be silent;","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/b12afb5b0674f88197d1b4def5c45cf5c34f20bb"}]}
{"actor":{"display_login":"ssrg-bamboo"}}