{"push_id":887229035,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5a38e0e1f67838b30abde8a2ed00bf7a764961f4","before":"fe2dc3dab3f6cf2bc48405bb63795b8feff16c59","commits":[{"sha":"0a6313dd27e413d785d1cccacf136e75a3927bff","author":{"email":"1f3ac396a798c6fbfbd72d369e7f4ba81ec48431@googlemail.com","name":"Melvar Chen"},"message":"Replace private Show FunClause with public one","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/0a6313dd27e413d785d1cccacf136e75a3927bff"},{"sha":"5a38e0e1f67838b30abde8a2ed00bf7a764961f4","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2838 from Melvar/show-funclause\n\nReplace private Show FunClause with public one","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/5a38e0e1f67838b30abde8a2ed00bf7a764961f4"}]}