{"push_id":813828289,"size":1,"distinct_size":1,"ref":"refs/heads/jr/merge-master-into-nodb","head":"33f6ffb3e3089f311f0e961fbd8c523970139bf9","before":"c8167947fbc998b7f7d8976054b4d7452488605b","commits":[{"sha":"33f6ffb3e3089f311f0e961fbd8c523970139bf9","author":{"email":"432f8ce7dc35eb3ab57ed1fc8dcd732a0dbc2562@gmail.com","name":"Beyang Liu"},"message":"fix import path","distinct":true,"url":"https://api.github.com/repos/sourcegraph/srclib/commits/33f6ffb3e3089f311f0e961fbd8c523970139bf9"}]}