{"push_id":593117700,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"23e93667353b4f1c7bb6dead19b507d0668bfee5","before":"a17d35b7ee9ca432db758e12eacb71cd46c96a36","commits":[{"sha":"23e93667353b4f1c7bb6dead19b507d0668bfee5","author":{"email":"cbee40f6fbaf742c382fdde566252ec09ac60ed0@gmail.com","name":"Massimo Lauria"},"message":"Temporary hardcode lingeling.","distinct":true,"url":"https://api.github.com/repos/MassimoLauria/cnfgen/commits/23e93667353b4f1c7bb6dead19b507d0668bfee5"}]}