{"push_id":2555330271,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3f6ba44a5eca7becbee3a804dc9fc17d74b06c35","before":"f0dc02c36380782f491f93ab7e4b35242833dbae","commits":[{"sha":"3f6ba44a5eca7becbee3a804dc9fc17d74b06c35","author":{"name":"Milo Turner","email":"7f7ab1925f3014a93e98b862bc6ded09865f84a9@gmail.com"},"message":"Split Vec.Properties into seperate file","distinct":true,"url":"https://api.github.com/repos/iitalics/AgdaStuff/commits/3f6ba44a5eca7becbee3a804dc9fc17d74b06c35"}]}
{"actor":{"display_login":"iitalics"}}