{"push_id":810513475,"size":1,"distinct_size":1,"ref":"refs/heads/release","head":"111665d2c65e252754f7188db7d11cf57f0a9f5b","before":"68fa16d1bb4ccd71087f6f1047b102c4063ca91d","commits":[{"sha":"111665d2c65e252754f7188db7d11cf57f0a9f5b","author":{"email":"46a713367d6d42bea91392e92b4ba3c9f97b1424@nfulton.org","name":"Nathan Fulton"},"message":"Typo in web license","distinct":true,"url":"https://api.github.com/repos/LS-Lab/KeYmaeraX-release/commits/111665d2c65e252754f7188db7d11cf57f0a9f5b"}]}