payload: {"push_id":3342654646,"size":1,"distinct_size":1,"ref":"refs/heads/container-split","head":"b3d9408a02d00597e1c54b164d27ff09078facbd","before":"8cc52642461f03fb9d63a4cac493273491ceeadb","commits":[{"sha":"b3d9408a02d00597e1c54b164d27ff09078facbd","author":{"name":"Guillaume Allais","email":"60a54f938b6c3401112164cd81a3e51650ab7fb0@ens-lyon.org"},"message":"[ fix ] to the point where it should build!","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/b3d9408a02d00597e1c54b164d27ff09078facbd"}]}
other: {"actor":{"display_login":"gallais"}}