{"push_id":630075169,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b80bd86798ae5f0e0137b0dbb777ed50b4200f93","before":"59481fbe98e259de23cffd76183ca28fe83ce943","commits":[{"sha":"9a1bf7a9ef61c12e3a275a64afa54000dd5350cb","author":{"email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","name":"Nicolas Pouillard"},"message":"Fix usage: -? was catching all single letter options","distinct":true,"url":"https://api.github.com/repos/np/agda-pkg/commits/9a1bf7a9ef61c12e3a275a64afa54000dd5350cb"},{"sha":"b80bd86798ae5f0e0137b0dbb777ed50b4200f93","author":{"email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com","name":"Nicolas Pouillard"},"message":"Manual","distinct":true,"url":"https://api.github.com/repos/np/agda-pkg/commits/b80bd86798ae5f0e0137b0dbb777ed50b4200f93"}]}