{"push_id":1347964657,"size":1,"distinct_size":1,"ref":"refs/heads/elm-gcs","head":"2511aede02fde6206eed1892bb1d34bd25945c90","before":"0bd3ca460759edf4144f19ab4546911360824404","commits":[{"sha":"2511aede02fde6206eed1892bb1d34bd25945c90","author":{"name":"Adam C. Foltzer","email":"5ed4bc47059c3722ae38426a21392c5ecf7a6c52@galois.com"},"message":"more Elm GCS updates\n\n- Now uses Gidl-generated client interface\n- Makefile for building minified JS\n  - We're checking this into the repo for now to save other people from\n    having to set up an Elm toolchain","distinct":true,"url":"https://api.github.com/repos/GaloisInc/smaccmpilot-stm32f4/commits/2511aede02fde6206eed1892bb1d34bd25945c90"}]}
{"actor":{"display_login":"acfoltzer"}}