{"push_id":2336678871,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"d12e471b8613e7af6d50a77140abe33455d956cd","before":"d8ae867e05b53b27a9b275f9d30a80c859f00d57","commits":[{"sha":"d12e471b8613e7af6d50a77140abe33455d956cd","author":{"name":"Travis CI bot","email":"32eefa8b9ca361f84bf979ed6ee4d5a696000c52@travis.fake"},"message":"Automatic HTML update via Travis","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/d12e471b8613e7af6d50a77140abe33455d956cd"}]}
{"actor":{"display_login":"gallais"}}