{"push_id":762246977,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d3c972bb88322ef7dfa21e59f445234726f0977f","before":"da545c91868cabb75a004040b386ede0d7bac255","commits":[{"sha":"d3c972bb88322ef7dfa21e59f445234726f0977f","author":{"email":"cef4f5545aadc89661682e53bfa7eb917f46cd70@posteo.de","name":"David Schury"},"message":"Fixed serialization version for pairings.\n\nRefer to changes in 4f0447b","distinct":true,"url":"https://api.github.com/repos/daersc/chepa/commits/d3c972bb88322ef7dfa21e59f445234726f0977f"}]}