{"push_id":813118941,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"afd1fa769dcd7de94d34a5291b38a1f522d5e8fe","before":"be4e4e46abf272916fb298ceb9f536c52fb8a40d","commits":[{"sha":"afd1fa769dcd7de94d34a5291b38a1f522d5e8fe","author":{"email":"31fec4b154c1c3aecfbbec8eb95ec81f54c7b7b3@bils.se","name":"Johan Viklund"},"message":"[speciesgeocoder] Opened for public by removing permissions","distinct":true,"url":"https://api.github.com/repos/BILS/agda/commits/afd1fa769dcd7de94d34a5291b38a1f522d5e8fe"}]}