{"head":"cedc653eb5f4863496eb5fdff8168ee516d55802","size":1,"push_id":46831610,"ref":"refs/heads/master","commits":[{"sha":"cedc653eb5f4863496eb5fdff8168ee516d55802","author":{"name":"Timothy Nelson","email":"b295c12c5cac773cdf3a1a19682b55ac85268b42@cs.wpi.edu"},"url":"https://api.github.com/repos/tnelson/Margrave/commits/cedc653eb5f4863496eb5fdff8168ee516d55802","message":"started on theory macro; constraints."}],"legacy":{"head":"cedc653eb5f4863496eb5fdff8168ee516d55802","size":1,"push_id":46831610,"shas":[["cedc653eb5f4863496eb5fdff8168ee516d55802","tn@cs.wpi.edu","started on theory macro; constraints.","Timothy Nelson"]],"ref":"refs/heads/master"}}