{"push_id":1904441689,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"6ce3cb67ba9ca8e4cb3529b26b6b851f2fa33ef5","before":"231bb8b5c8122094dbaf29cc4eab11594d1da23f","commits":[{"sha":"a531ef66e1916d272ae8ed3f82c70b59b69ab0da","author":{"name":"Scott C. Livingston","email":"3a1a539a8346f6707035ca1b8412d1da849b3300@cds.caltech.edu"},"message":"Add `book` publication type","distinct":true,"url":"https://api.github.com/repos/fmrchallenge/tlzoo/commits/a531ef66e1916d272ae8ed3f82c70b59b69ab0da"},{"sha":"33bf57abd261352dc995c5e8299ff2f169333ce3","author":{"name":"Scott C. Livingston","email":"3a1a539a8346f6707035ca1b8412d1da849b3300@cds.caltech.edu"},"message":"Expand GR(1) summary, using TeX math syntax","distinct":true,"url":"https://api.github.com/repos/fmrchallenge/tlzoo/commits/33bf57abd261352dc995c5e8299ff2f169333ce3"},{"sha":"69aee729ab03fbf3340ecf537748e014375a8fff","author":{"name":"Scott C. Livingston","email":"3a1a539a8346f6707035ca1b8412d1da849b3300@cds.caltech.edu"},"message":"Add Lamport's TLA+ specification language","distinct":true,"url":"https://api.github.com/repos/fmrchallenge/tlzoo/commits/69aee729ab03fbf3340ecf537748e014375a8fff"},{"sha":"6ce3cb67ba9ca8e4cb3529b26b6b851f2fa33ef5","author":{"name":"Scott C. Livingston","email":"3a1a539a8346f6707035ca1b8412d1da849b3300@cds.caltech.edu"},"message":"Add book Specifying Systems by Lamport","distinct":true,"url":"https://api.github.com/repos/fmrchallenge/tlzoo/commits/6ce3cb67ba9ca8e4cb3529b26b6b851f2fa33ef5"}]}
{"actor":{"display_login":"slivingston"}}