{"shas":[["f504102dfdb0841825d8265cdcd2f5e6979da0a0","31f32c38d376716288ed3532810268fc4a4ffcc6@gmail.com","Add list-numbers option\n\nThis lists only the numbers, which you can then pipe into xargs\n./sympy-bot review to review all pull requests.  Just piping list into\ntools like cut doesn't work because of unicode problems.","Aaron Meurer"],["b26a29de9d5102e0c909ae94533f511cb5289c1b","b816faa87b7d35274d2e545c5be11ed4376f3ccf@certik.cz","Merge pull request #26 from asmeurer/list-numbers\n\nAdd list-numbers option","Ondřej Čertík"]],"ref":"refs/heads/master","size":2,"head":"b26a29de9d5102e0c909ae94533f511cb5289c1b","push_id":38981381}