{"push_id":2956659569,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b66a5893a45abf9ead59b7997e16ec8185da3ef0","before":"24e91731a49e377dac2180faf6faed143bcf3166","commits":[{"sha":"b66a5893a45abf9ead59b7997e16ec8185da3ef0","author":{"name":"Vadim Zaliva","email":"0cb26e2242f1e2f5cbbc8204af141dee67d5fa79@crocodile.org"},"message":"back to using Switch","distinct":true,"url":"https://api.github.com/repos/digamma-ai/asn1fpcoq/commits/b66a5893a45abf9ead59b7997e16ec8185da3ef0"}]}
{"actor":{"display_login":"vzaliva"}}