{"push_id":2945277093,"size":2,"distinct_size":2,"ref":"refs/heads/mdd","head":"082141dca45c90bb0f25766f24d1175533940f5b","before":"4aed6f039d446de4131c0b301d92e79e9cf94c50","commits":[{"sha":"c3d8c7f5ffaf916e43264e64006d1a02f9409a28","author":{"name":"caballa","email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com"},"message":"Do not include MDD_vis.hh","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/c3d8c7f5ffaf916e43264e64006d1a02f9409a28"},{"sha":"082141dca45c90bb0f25766f24d1175533940f5b","author":{"name":"caballa","email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com"},"message":"Include mdd in the install target","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/082141dca45c90bb0f25766f24d1175533940f5b"}]}
{"actor":{"display_login":"caballa"}}