{"push_id":805720635,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"59ce6eaaa814f6103a73e88109a1f3038fae5059","before":"c1e8bcf2e4d6871062a833ec9eb779401dcdce10","commits":[{"sha":"59ce6eaaa814f6103a73e88109a1f3038fae5059","author":{"email":"4093f1532edd47acec7578f2928be748185991c2@gmail.com","name":"rightfold"},"message":"Rename DeclID module to declID","distinct":true,"url":"https://api.github.com/repos/rightfold/o2/commits/59ce6eaaa814f6103a73e88109a1f3038fae5059"}]}