{"push_id":950916496,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"fda606f6c7b31c8ef8d4227982586c1d62ec5b68","before":"b50d6588fb048fcbe3b129850f0b3a1407681454","commits":[{"sha":"fda606f6c7b31c8ef8d4227982586c1d62ec5b68","author":{"email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com","name":"jorge"},"message":"Some variable renaming to make code more legible","distinct":true,"url":"https://api.github.com/repos/seahorn/crab-llvm/commits/fda606f6c7b31c8ef8d4227982586c1d62ec5b68"}]}