{"push_id":856032196,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4029f4fb0f5f331f74bdf0f718ab92a99e9f6359","before":"00ba411180915875e31b307b5c7180367dd32b20","commits":[{"sha":"4029f4fb0f5f331f74bdf0f718ab92a99e9f6359","author":{"email":"58d5597189d9682d331ef42883dfc7e49d317c16@gmail.com","name":"Dmytro S"},"message":"rel/smt/gcd.smt : I can calculate GCD using SMT!","distinct":true,"url":"https://api.github.com/repos/EarlGray/language-snippets/commits/4029f4fb0f5f331f74bdf0f718ab92a99e9f6359"}]}