Improve instructions

It's ambiguous which commands are run on the local machine vs the gitolite server.