{"push_id":941753651,"size":2,"distinct_size":2,"ref":"refs/heads/maint-2.4","head":"20e255f8ac00fbb4e52dd1786345e42b765a39b7","before":"483de43511491d26acb637785cf4dd61e77bd7fd","commits":[{"sha":"98ea4036d2089130022b48f364e14f2d89e37a67","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"[ Fixed #1783 ] piApply failed in BasicOps during printing of metas","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/98ea4036d2089130022b48f364e14f2d89e37a67"},{"sha":"20e255f8ac00fbb4e52dd1786345e42b765a39b7","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"[ refactor after #1783 ] use piApplyM instead of piApply\n\nto be on the safe side.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/20e255f8ac00fbb4e52dd1786345e42b765a39b7"}]}