{"push_id":924671484,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a326ff399be1691643fe4bbbde4a27896b194e82","before":"5eff32433b3ae47d36f6acab87e7af0d273946d6","commits":[{"sha":"a326ff399be1691643fe4bbbde4a27896b194e82","author":{"email":"6dba231d870e70fc5620e331351fe3f0080f1006@cnam.fr","name":"Pierre Courtieu"},"message":"Fixing #25.\n\nproof-script-buffer was not set before calling proof-shell-ready-prover.","distinct":true,"url":"https://api.github.com/repos/Matafou/PG/commits/a326ff399be1691643fe4bbbde4a27896b194e82"}]}