{"push_id":1170608992,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e69596f20764ac1eaa5aed627e6c5b10daa261c9","before":"8ab050d212b3e506037b13c0a73eda7ed129c359","commits":[{"sha":"25f4bddbbb44d2205f306f62ac24de7b6c763aec","author":{"name":"schmidla","email":"2d9f668088500fa53a50e5d322334109f4d33e22@inf.ethz.ch"},"message":"section 005 revised","distinct":true,"url":"https://api.github.com/repos/tamarin-prover/manual-pandoc/commits/25f4bddbbb44d2205f306f62ac24de7b6c763aec"},{"sha":"e69596f20764ac1eaa5aed627e6c5b10daa261c9","author":{"name":"schmidla","email":"2d9f668088500fa53a50e5d322334109f4d33e22@inf.ethz.ch"},"message":"Merge branch 'master' of https://github.com/tamarin-prover/manual-pandoc","distinct":true,"url":"https://api.github.com/repos/tamarin-prover/manual-pandoc/commits/e69596f20764ac1eaa5aed627e6c5b10daa261c9"}]}
{"actor":{"display_login":"schmidla"}}