{"push_id":1047454218,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"19272ade01a8d8aba4b2c447652540d6e9688ff8","before":"d46e588c19f25bd2442a2a847b2d5f161c72f801","commits":[{"sha":"19272ade01a8d8aba4b2c447652540d6e9688ff8","author":{"email":"91b301fd9d4d358dbba15a6ff691b48fbc99e991@gmail.com","name":"wisk"},"message":"improve grammar, fix arm description","distinct":true,"url":"https://api.github.com/repos/wisk/isabelle/commits/19272ade01a8d8aba4b2c447652540d6e9688ff8"}]}