{"push_id":574873236,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4e8a760c168a6b42e67ad2c6d2e1f73a6a618250","before":"1bf4d390aa273233cf23469941c12276cdd62c71","commits":[{"sha":"4e8a760c168a6b42e67ad2c6d2e1f73a6a618250","author":{"email":"ba4585794314d719dd4f89660e75db76c0f0b545@gmail.com","name":"Aise Johan de Jong"},"message":"Final step in moving lemmas (very rough)\n\nThis is also the final step in the proof of the existence of a well\ndefined intersection product on cylces modulo rational equivalence for\nnonsingular projective varieties over algebraically closed fields.\n\nMore details and explanations need to be added.","distinct":true,"url":"https://api.github.com/repos/stacks/stacks-project/commits/4e8a760c168a6b42e67ad2c6d2e1f73a6a618250"}]}