{"push_id":2883502548,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"78a8cac6cffe93df2c48ae97e6bf42b3b3ef26aa","before":"be2aa8d6832e7073dda2da8736a4f32fb260df2b","commits":[{"sha":"78a8cac6cffe93df2c48ae97e6bf42b3b3ef26aa","author":{"name":"Kevin Milner","email":"395c1365dac3e0897493695fa588a748752261ae@kamilner.ca"},"message":"Added no precomp annotations to some state facts","distinct":true,"url":"https://api.github.com/repos/kmilner/TLS13Tamarin/commits/78a8cac6cffe93df2c48ae97e6bf42b3b3ef26aa"}]}
{"actor":{"display_login":"kmilner"}}