{"push_id":2365878321,"size":2,"distinct_size":2,"ref":"refs/heads/installable","head":"0774d429822f86e84c73c682757355e0fa789c76","before":"5f9e3faa06f92dc94b6245f5203ca85ed74cc795","commits":[{"sha":"4d3c238501803271c258347694843856e545166c","author":{"name":"Karl Palmskog","email":"f1d5d2c242768a28408584da9b13cc056ed71cbd@gmail.com"},"message":"delete files from FCSL","distinct":true,"url":"https://api.github.com/repos/proofengineering/htt/commits/4d3c238501803271c258347694843856e545166c"},{"sha":"0774d429822f86e84c73c682757355e0fa789c76","author":{"name":"Karl Palmskog","email":"f1d5d2c242768a28408584da9b13cc056ed71cbd@gmail.com"},"message":"delete FCSL files from _CoqProject","distinct":true,"url":"https://api.github.com/repos/proofengineering/htt/commits/0774d429822f86e84c73c682757355e0fa789c76"}]}
{"actor":{"display_login":"palmskog"}}