{"push_id":1141675042,"size":1,"distinct_size":1,"ref":"refs/heads/peacoq-2014","head":"f0056338c0f04172f5404e4fff4dbf59e7f10a91","before":"97e898f7992a319f0d95d53125da2ce3970f6724","commits":[{"sha":"f0056338c0f04172f5404e4fff4dbf59e7f10a91","author":{"name":"Julie Newcomb","email":"23db8b2fe61d0f1671cfabeec2bd99d26a909af9@cs.washington.edu"},"message":"fix goal tab when invalidating goal solutions","distinct":true,"url":"https://api.github.com/repos/Darzu/PeaCoq/commits/f0056338c0f04172f5404e4fff4dbf59e7f10a91"}]}
{"actor":{"display_login":"jn80842"}}