{"push_id":2428105478,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"b20bffd128c9620fc2cacae06eb5ec1faba48bf6","before":"8c7c8b19e666e4988b90a4e5908e31cf9fa7437e","commits":[{"sha":"73f50f4a2300f84fbe21df238f3f7dde18fcc5b6","author":{"name":"Vincent Archambault","email":"0e923a3b8710bbc5225d9295d141c8b84c6ae3a4@gmail.com"},"message":"Adapt the project struture to _CoqProject requierement.","distinct":true,"url":"https://api.github.com/repos/archambaultv/coq-libre-lib/commits/73f50f4a2300f84fbe21df238f3f7dde18fcc5b6"},{"sha":"b20bffd128c9620fc2cacae06eb5ec1faba48bf6","author":{"name":"Vincent Archambault","email":"0e923a3b8710bbc5225d9295d141c8b84c6ae3a4@gmail.com"},"message":"Ignore Makefile.conf","distinct":true,"url":"https://api.github.com/repos/archambaultv/coq-libre-lib/commits/b20bffd128c9620fc2cacae06eb5ec1faba48bf6"}]}
{"actor":{"display_login":"archambaultv"}}