{"push_id":654411762,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2b762588ee538468ee4769653f2487b86cc6f87e","before":"ac458577ec5b18a85920b3637657fca398678f84","commits":[{"sha":"2b762588ee538468ee4769653f2487b86cc6f87e","author":{"email":"dfdb7392591db597bc41cf266a9c3bc12a2706e5@anderslundstedt.se","name":"Anders Lundstedt"},"message":"Removed vectors of bounded naturals. Functionality needed handled by specialized map functions instead.","distinct":true,"url":"https://api.github.com/repos/anderslundstedt/pca-realizability/commits/2b762588ee538468ee4769653f2487b86cc6f87e"}]}