Add a local-only mode

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