{"push_id":2569488586,"size":1,"distinct_size":1,"ref":"refs/heads/fstar-master","head":"bf867cb5574b19490545daf3bd17d693a9158c8b","before":"4de6e9c137c8f70ac7f2de795e9f1b4e8cace611","commits":[{"sha":"bf867cb5574b19490545daf3bd17d693a9158c8b","author":{"name":"Jonathan Protzenko","email":"c4431aafd1f90d6e2f94187a7040251abaf4dd1d@gmail.com"},"message":"Fix a subtle visibility issue and back to a green on CI, hopefully","distinct":true,"url":"https://api.github.com/repos/FStarLang/kremlin/commits/bf867cb5574b19490545daf3bd17d693a9158c8b"}]}
{"actor":{"display_login":"msprotz"}}