{"push_id":1409496429,"size":1,"distinct_size":1,"ref":"refs/heads/elm-gcs","head":"8e8d16beadc4349bb9397f30d4bc372d3d53b4c1","before":"6633a8f6e8fc58b9b9985214403274732f319921","commits":[{"sha":"8e8d16beadc4349bb9397f30d4bc372d3d53b4c1","author":{"name":"Adam C. Foltzer","email":"5ed4bc47059c3722ae38426a21392c5ecf7a6c52@galois.com"},"message":"add ring buffer to transmit side of UART datalink\n\nAlso continued improvements to Elm-based GCS, one of which revealed\nthis bug. Note that for best performance, the GCS should be run in\nFirefox due to the higher limit on maximum simultaneous connections.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/smaccmpilot-stm32f4/commits/8e8d16beadc4349bb9397f30d4bc372d3d53b4c1"}]}
{"actor":{"display_login":"acfoltzer"}}