{"push_id":972095671,"size":1,"distinct_size":1,"ref":"refs/heads/wip/stack","head":"f9b881b53ab45c562c037ca5b41264ba2293a4d6","before":"852c767b7004148eeb2db87dcefcfd22f1876979","commits":[{"sha":"f9b881b53ab45c562c037ca5b41264ba2293a4d6","author":{"email":"5ccda968a27f556d4759415cd449a9b0de9fb1de@galois.com","name":"Adam C. Foltzer"},"message":"bump submodule","distinct":true,"url":"https://api.github.com/repos/GaloisInc/smaccmpilot-build/commits/f9b881b53ab45c562c037ca5b41264ba2293a4d6"}]}