{"push_id":2560505438,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"ee9697ec3f4b33a7d4090c6778bcef4d6dba9681","before":"74f263cb42e11e79e1614efbdc21a0a9ee563c0d","commits":[{"sha":"8280abe08c1d275d960dc3e913ab380e51c56283","author":{"name":"haftmann","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"removed some non-essential rules","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/8280abe08c1d275d960dc3e913ab380e51c56283"},{"sha":"48ff2a620e9a28c0a93a50ad7e05f7128e600b96","author":{"name":"nipkow","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"tuned","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/48ff2a620e9a28c0a93a50ad7e05f7128e600b96"},{"sha":"3b106d9844d4f6a07dc1ccd06b9838b8801599c7","author":{"name":"nipkow","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"removed unused lemma","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/3b106d9844d4f6a07dc1ccd06b9838b8801599c7"},{"sha":"ff1ba27520317a870a6f9498dadd22c575b60b68","author":{"name":"nipkow","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"mv lemma","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/ff1ba27520317a870a6f9498dadd22c575b60b68"},{"sha":"76e188f77e7b412ce95bcd82117d3f9635904550","author":{"name":"nipkow","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"tuned","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/76e188f77e7b412ce95bcd82117d3f9635904550"},{"sha":"ee9697ec3f4b33a7d4090c6778bcef4d6dba9681","author":{"name":"nipkow","email":"71f8e7976e4cbc4561c9d62fb283e7f788202acb@none"},"message":"tuned","distinct":true,"url":"https://api.github.com/repos/seL4/isabelle/commits/ee9697ec3f4b33a7d4090c6778bcef4d6dba9681"}]}
{"actor":{"display_login":"ssrg-bamboo"}}