{"push_id":782384347,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"49bec74e2833915833c265d9e95a5efcdc9a9927","before":"f95115439385eabf610abe740335fe7409f74d74","commits":[{"sha":"49bec74e2833915833c265d9e95a5efcdc9a9927","author":{"email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com","name":"jorge"},"message":"Fixed typo in directory name","distinct":true,"url":"https://api.github.com/repos/seahorn/crab-llvm/commits/49bec74e2833915833c265d9e95a5efcdc9a9927"}]}