{"push_id":1457084537,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"efae3c6f170e3282f2cfc1c816f64834ce3fca13","before":"07198b35aed36cc639c82bd013d5af39f4fa3a67","commits":[{"sha":"0c059afa723178570d52489b81c500ee93cc15fc","author":{"name":"Tony Morris","email":"5fc8f092340afd314590afbb716fb9855673ccdd@tmorris.net"},"message":"Merge pull request #3 from dalaing/master\n\nAdds an entry for improving program extraction from Coq.","distinct":true,"url":"https://api.github.com/repos/dalaing/fp-projects/commits/0c059afa723178570d52489b81c500ee93cc15fc"},{"sha":"85e62d2940735c1aab2ed5a609acbd4afb719b6d","author":{"name":"George Wilson","email":"3e3320c94fd670b460e4d576fd28ed1786eef16d@ephox.com"},"message":"Add scalaz-specs2 to list of scala libraries that need to work together.","distinct":true,"url":"https://api.github.com/repos/dalaing/fp-projects/commits/85e62d2940735c1aab2ed5a609acbd4afb719b6d"},{"sha":"517d36615eb3649c86fd46c2f3309ff64f681a49","author":{"name":"Tony Morris","email":"5fc8f092340afd314590afbb716fb9855673ccdd@tmorris.net"},"message":"Merge pull request #4 from gwils/scalaz-specs2\n\nAdd scalaz-specs2 to list of scala libraries that need to work together.","distinct":true,"url":"https://api.github.com/repos/dalaing/fp-projects/commits/517d36615eb3649c86fd46c2f3309ff64f681a49"},{"sha":"19e3cd3bca7f2b333eb074312cd15c18137cccca","author":{"name":"George Wilson","email":"3e3320c94fd670b460e4d576fd28ed1786eef16d@ephox.com"},"message":"GHC needs more garbage collectors","distinct":true,"url":"https://api.github.com/repos/dalaing/fp-projects/commits/19e3cd3bca7f2b333eb074312cd15c18137cccca"},{"sha":"efae3c6f170e3282f2cfc1c816f64834ce3fca13","author":{"name":"Tony Morris","email":"5fc8f092340afd314590afbb716fb9855673ccdd@tmorris.net"},"message":"Merge pull request #5 from gwils/ghc-gc\n\nGHC needs more garbage collectors","distinct":true,"url":"https://api.github.com/repos/dalaing/fp-projects/commits/efae3c6f170e3282f2cfc1c816f64834ce3fca13"}]}
{"actor":{"display_login":"dalaing"}}