{"push_id":676094276,"size":1,"distinct_size":1,"ref":"refs/heads/isabelle2015","head":"503a8811b4b1c8923670a234f991abfaa0cd4e59","before":"1a0dccf98151c3d1de0c095203d4042bc6480141","commits":[{"sha":"503a8811b4b1c8923670a234f991abfaa0cd4e59","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"Cornelius Diekmann"},"message":"isabelle 2015 stable","distinct":true,"url":"https://api.github.com/repos/diekmann/topoS/commits/503a8811b4b1c8923670a234f991abfaa0cd4e59"}]}