{"push_id":2569308480,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c518d885f9507671f575ae7a154484ee23db0797","before":"58ed588ef418ddebc8cd29c5d85368de6084a6fd","commits":[{"sha":"c518d885f9507671f575ae7a154484ee23db0797","author":{"name":"Jacques Carette","email":"67535816c66f9466a742e34bea3399ccd6033b5e@mcmaster.ca"},"message":"Make Label in Record be more level polymorphic. (#318)","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/c518d885f9507671f575ae7a154484ee23db0797"}]}
{"actor":{"display_login":"MatthewDaggitt"}}