{"push_id":979479806,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"3a7af40ae14f964a3a1216d73b952cc1edd57e84","before":"06a99e23bf0a58a2113d886aca07bf1e0169f08f","commits":[{"sha":"919e3266dad588f2e04ebb301feadf7ab4847dd6","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"[ refactor for #1777 ] extract tryRecPFromConP to print record patterns\n\nIt as also necessary to define the TickT monad transformer,\nas StateT Nat TCM is not a MonadTCM because State is used by TCM.\n\nThis TickT construction could be moved to Monad.Base to be available for\nother uses.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/919e3266dad588f2e04ebb301feadf7ab4847dd6"},{"sha":"33d47ed0b17a1b243859f38ecc7de62338b6946c","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"[ Fixed #1777 ] Print record patterns also in display forms.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/33d47ed0b17a1b243859f38ecc7de62338b6946c"},{"sha":"3a7af40ae14f964a3a1216d73b952cc1edd57e84","author":{"email":"dcc6ca7a371f57bdcd9cd18f3843b0caea4a12fb@ifi.lmu.de","name":"Andreas Abel"},"message":"Merge branch 'master' of github.com:agda/agda","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/3a7af40ae14f964a3a1216d73b952cc1edd57e84"}]}