{"push_id":1328467729,"size":1,"distinct_size":1,"ref":"refs/heads/stable-2.5","head":"7c13ea9df33f330ec34e949961acf848bb52835f","before":"f6764c55063aa406f531f184162ddced6fbcb9cd","commits":[{"sha":"7c13ea9df33f330ec34e949961acf848bb52835f","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ #2208 ] added missing NaN<NaN tests\n\n(fails on JS backend)","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/7c13ea9df33f330ec34e949961acf848bb52835f"}]}
{"actor":{"display_login":"UlfNorell"}}