{"push_id":938715723,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a49192b8c0d0a4af075a08fa5ea2554a08e159ff","before":"9b2b29a59c74706daf0474b1131513045137466b","commits":[{"sha":"a49192b8c0d0a4af075a08fa5ea2554a08e159ff","author":{"email":"b15c342f1de186996bcca5e1a23cd684d2fadb32@stuhlmueller.org","name":"Andreas Stuhlmüller"},"message":"Add installation instructions","distinct":true,"url":"https://api.github.com/repos/stuhlmueller/webppl-timeit/commits/a49192b8c0d0a4af075a08fa5ea2554a08e159ff"}]}