{"push_id":1737754385,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"157e659c3a342b467551b92a8baf6746664e6730","before":"6d322fd285ce0a6bb322026def14ab6119dbbb3a","commits":[{"sha":"157e659c3a342b467551b92a8baf6746664e6730","author":{"name":"Ryan Doenges","email":"b4a5ea001e047040e8c9075b67a268293138da2c@ryandoeng.es"},"message":"Allow OPAM builds against Coq trunk","distinct":true,"url":"https://api.github.com/repos/DistributedComponents/InfSeqExt/commits/157e659c3a342b467551b92a8baf6746664e6730"}]}
{"actor":{"display_login":"hackedy"}}