{"push_id":747849509,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"25ae4919086d27cac3573b2e50eaa2243403cb4f","before":"ccde9ed8b0b9202e151165b93aad486264c70172","commits":[{"sha":"25ae4919086d27cac3573b2e50eaa2243403cb4f","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"Nikhil Swamy"},"message":"adding wildcards to env, fixing bug in wysteria extraction","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/25ae4919086d27cac3573b2e50eaa2243403cb4f"}]}