sourcegraph/srclib — pull request #35 by sqs (2014-08-22 06:26:46+00:00)
Title: src push and pull commands (fetch/upload build data files)

This PR adds `src push` and `src pull` commands for uploading and downloading .srclib-cache files, respectively.