{"push_id":819006711,"size":1,"distinct_size":1,"ref":"refs/heads/isabelle2015","head":"461463be79385574a3d23435edbeba6c66374d2e","before":"7be7819a9b9e4f8cc9e540535ee04b5724848d2d","commits":[{"sha":"461463be79385574a3d23435edbeba6c66374d2e","author":{"email":"16027ab91dbfc808b16dd3d76894761e1e873a45@gmail.com","name":"Aleks Kissinger"},"message":"fix by Makarius","distinct":true,"url":"https://api.github.com/repos/Quantomatic/quantomatic/commits/461463be79385574a3d23435edbeba6c66374d2e"}]}