tomleese/srcomp-scorer — pull request #3 by prophile (2014-07-25 20:04:47+00:00)
Title: Add a local-only mode

This disables push and pull, so that one is editing only the local git repository.