{"push_id":740637887,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"cbeace649f65273217e0860b894961ed12c84f44","before":"ece7532350021c1688208282a74331ac98fff7a4","commits":[{"sha":"e811d555008f06238bd0ccc59b49c2c011c4c84e","author":{"email":"d79e7de4ec656eb9fa69df2bf33805fd5c361517@gmail.com","name":"Bob Wallis"},"message":"Theme textarea and buttons of composition prover","distinct":true,"url":"https://api.github.com/repos/bobwallis/Blueline/commits/e811d555008f06238bd0ccc59b49c2c011c4c84e"},{"sha":"cbeace649f65273217e0860b894961ed12c84f44","author":{"email":"d79e7de4ec656eb9fa69df2bf33805fd5c361517@gmail.com","name":"Bob Wallis"},"message":"Syntax highlighting in touch prover","distinct":true,"url":"https://api.github.com/repos/bobwallis/Blueline/commits/cbeace649f65273217e0860b894961ed12c84f44"}]}