{"push_id":2069545312,"size":3,"distinct_size":2,"ref":"refs/heads/gh-pages","head":"c0af1ecd833fd4d464ad267ed503999a3729402b","before":"0fceb5a58baa4f9828c72d2771a8604dfdfcf6f2","commits":[{"sha":"b06053f1e58fd4b2a7739a467e6c12c7a712166d","author":{"name":"Karl Palmskog","email":"f1d5d2c242768a28408584da9b13cc056ed71cbd@gmail.com"},"message":"modify verdi package Coq version compatibility","distinct":false,"url":"https://api.github.com/repos/DistributedComponents/opam-repository-dev/commits/b06053f1e58fd4b2a7739a467e6c12c7a712166d"},{"sha":"19664549dd61241aa5cee642ed8b70c9b67dfbf6","author":{"name":"Karl Palmskog","email":"f1d5d2c242768a28408584da9b13cc056ed71cbd@gmail.com"},"message":"Merge branch 'master' into gh-pages","distinct":true,"url":"https://api.github.com/repos/DistributedComponents/opam-repository-dev/commits/19664549dd61241aa5cee642ed8b70c9b67dfbf6"},{"sha":"c0af1ecd833fd4d464ad267ed503999a3729402b","author":{"name":"Karl Palmskog","email":"f1d5d2c242768a28408584da9b13cc056ed71cbd@gmail.com"},"message":"updated files via opam-admin","distinct":true,"url":"https://api.github.com/repos/DistributedComponents/opam-repository-dev/commits/c0af1ecd833fd4d464ad267ed503999a3729402b"}]}
{"actor":{"display_login":"palmskog"}}