{"push_id":3037892685,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e4c68b129355031a8d2250bda575e8d1f2092a6a","before":"82f08db8ddc12cc496d034c37a2f953020139732","commits":[{"sha":"e4c68b129355031a8d2250bda575e8d1f2092a6a","author":{"name":"Florian Kammueller","email":"2a87a75dff1f88793ff42544ccb3cffeb30c1d83@gmail.com"},"message":"AT.thy now Isar'ized","distinct":true,"url":"https://api.github.com/repos/flokam/IsabelleAT/commits/e4c68b129355031a8d2250bda575e8d1f2092a6a"}]}
{"actor":{"display_login":"flokam"}}