{"ref":"refs/heads/master","push_id":55209235,"commits":[{"sha":"e95b2ade906382396355e92d59c5677b76523646","author":{"email":"4cc33a8ae3d9bb448f90bf63a1d4018698b1fb94@alum.mit.edu","name":"Niko Matsakis"},"url":"https://api.github.com/repos/nikomatsakis/rust-formal/commits/e95b2ade906382396355e92d59c5677b76523646","message":"about to try merging dataflow into typesys"},{"sha":"e75eec7fb269a6c085948da5e9ece3d4e1082cb6","author":{"email":"4cc33a8ae3d9bb448f90bf63a1d4018698b1fb94@alum.mit.edu","name":"Niko Matsakis"},"url":"https://api.github.com/repos/nikomatsakis/rust-formal/commits/e75eec7fb269a6c085948da5e9ece3d4e1082cb6","message":"integrate dataflow with typesys"},{"sha":"4b18640cd511f25ba8b7f212c521f80068096b9c","author":{"email":"4cc33a8ae3d9bb448f90bf63a1d4018698b1fb94@alum.mit.edu","name":"Niko Matsakis"},"url":"https://api.github.com/repos/nikomatsakis/rust-formal/commits/4b18640cd511f25ba8b7f212c521f80068096b9c","message":"update README"}],"head":"4b18640cd511f25ba8b7f212c521f80068096b9c","size":3}