{"push_id":648209298,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"04bcf838c1a3ed094278758f769d23c8685cafd1","before":"589d84b08a50d5601f78d5fb2d98ab25a98db73f","commits":[{"sha":"04bcf838c1a3ed094278758f769d23c8685cafd1","author":{"email":"ce98047f2704fd35dcfde4335fc3bb65a0182e44@epfl.ch","name":"Nada Amin"},"message":"stp extending is tricky. in particular, for bind, the closing env changes, cc @TiarkRompf","distinct":true,"url":"https://api.github.com/repos/TiarkRompf/minidot/commits/04bcf838c1a3ed094278758f769d23c8685cafd1"}]}