{"commits":[{"author":{"email":"ab3b4cdb8c3bb8669953380859002c559536073c@akamai.com","name":"Michael Stone"},"sha":"097ea4175db58b071ac2875249178473eed141f7","message":"Add debianization.\n\nThe only non-standard rule here is the rule to run autoreconf.","url":"https://api.github.com/repos/mstone/klee/commits/097ea4175db58b071ac2875249178473eed141f7"}],"ref":"refs/heads/debian","head":"097ea4175db58b071ac2875249178473eed141f7","size":1,"push_id":53484418}