{"push_id":1106755007,"size":1,"distinct_size":1,"ref":"refs/heads/stable-2.5","head":"ebcb254a6cf76379ba9c37edb968e4887fb3566f","before":"453c874c9c22ee282bce0953824ae61e2dfccb91","commits":[{"sha":"ebcb254a6cf76379ba9c37edb968e4887fb3566f","author":{"email":"b7f458134666a5352414ffadd55fc640ce840f77@gmail.com","name":"Andrea Vezzosi"},"message":"Fixed #1969 by not checking shadowing for a Primitive type","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/ebcb254a6cf76379ba9c37edb968e4887fb3566f"}]}