Distinguished between git and git svn commands that can be run on svn
external repositories. Minor output improvements.