{"push_id":2639869813,"size":1,"distinct_size":1,"ref":"refs/heads/guido_tactics","head":"b22363f253b931b088b5d4873fa3961f29d6fe0a","before":"dc1c548560550757b1ea73f1a0049da97a76b0b9","commits":[{"sha":"b22363f253b931b088b5d4873fa3961f29d6fe0a","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"hints","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b22363f253b931b088b5d4873fa3961f29d6fe0a"}]}
{"actor":{"display_login":"mtzguido"}}