{"push_id":627813685,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"6a61bbb7fafb6ee9ab987b692e81d47aeb0e44cb","before":"e81575c17828211dc614aa44ba093ce0248b7888","commits":[{"sha":"e2bf3869901a0b956899915aacd5cfe8ad29e294","author":{"email":"0e7cadcd5568da6b8fb94053a3f61c18f670a773@marisa.moe","name":"lolisa"},"message":"Fix #32.","distinct":true,"url":"https://api.github.com/repos/lolisa/first_order_logic_prover/commits/e2bf3869901a0b956899915aacd5cfe8ad29e294"},{"sha":"6ae8a28b4c5f9d11d2a27c3a5a2420a453b818ff","author":{"email":"0e7cadcd5568da6b8fb94053a3f61c18f670a773@marisa.moe","name":"lolisa"},"message":"remove file.","distinct":true,"url":"https://api.github.com/repos/lolisa/first_order_logic_prover/commits/6ae8a28b4c5f9d11d2a27c3a5a2420a453b818ff"},{"sha":"6a61bbb7fafb6ee9ab987b692e81d47aeb0e44cb","author":{"email":"0e7cadcd5568da6b8fb94053a3f61c18f670a773@marisa.moe","name":"lolisa"},"message":"remove file.","distinct":true,"url":"https://api.github.com/repos/lolisa/first_order_logic_prover/commits/6a61bbb7fafb6ee9ab987b692e81d47aeb0e44cb"}]}