{"push_id":938054869,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"6fe7efd04f05b0cfa06c2f9c5fa140e5d47b8953","before":"e97cd90305e107539f0f98b22450dc6347a41bbe","commits":[{"sha":"7e03645fc39e603561a975469b70e5ba8b0be2ea","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Add .gitignore","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-bar-induction/commits/7e03645fc39e603561a975469b70e5ba8b0be2ea"},{"sha":"41a3ec309fc48c0120c136607cf20118447690d0","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Update prelude","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-bar-induction/commits/41a3ec309fc48c0120c136607cf20118447690d0"},{"sha":"46c6c3d305d524cb23051d5172a8db741d078d2f","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Fixity","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-bar-induction/commits/46c6c3d305d524cb23051d5172a8db741d078d2f"},{"sha":"6fe7efd04f05b0cfa06c2f9c5fa140e5d47b8953","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Update to use prelude List and Stream","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-bar-induction/commits/6fe7efd04f05b0cfa06c2f9c5fa140e5d47b8953"}]}