{"push_id":1660483025,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"70cdeb97501d36c305b693601a07bd6df3b68dc5","before":"479bebc1259c94946d25ab30460594a3b8504663","commits":[{"sha":"70cdeb97501d36c305b693601a07bd6df3b68dc5","author":{"name":"Vincent Cheval","email":"ca9f34a8e6d53344ea685d281b903805a5860f43@icloud.com"},"message":"Addition of the core library","distinct":true,"url":"https://api.github.com/repos/DeepSec-prover/deepsec/commits/70cdeb97501d36c305b693601a07bd6df3b68dc5"}]}
{"actor":{"display_login":"VincentCheval"}}