Update helping.rst

Spelling & punctuation corrections.
Added Export CSV command to web api.
Moved export CSV code to Log.
removed geoserver plugin, now part of geoserver-exts (https://github.com/boundlessgeo/geoserver-exts/)
Add stub GeoGitDataStore.removeSchema() methods added in gt 11.x to enable building against that geotools version
Explicitly set gt version on all gt dependencies and remove call to Logging.ALL.forceMonolineConsoleOutput() in test setup
Make the web-api log command set the correct content type when asked for csv output
Merge branch 'jdgarrett-export-csv'
Fixed an error that would occur with using log on shallow clones.
Merge pull request #663 from jdgarrett/shallow-clone-log

Fixed an error that would occur with using web log on shallow clones.
Add ability to push and pull tags
Fix web.xml for standalone server.
Merge branch 'master' of github.com:boundlessgeo/GeoGit
Fixed an issue which caused a deprecated log function to prevent the new version from working.
Merge pull request #666 from jdgarrett/log-deprecation-fix

Fixed an issue with deprecated web log function.
Fix man page sections.

Also fix some mixed indentation.
DefaultProgressListener.maxProgress was uninitialized.

Caused an infinite sign to be printed because of a division by zero in SubProgressListener.
Handle tags for sparse/shallow remotes properly and report tag updates correctly in CLI.
Merge remote-tracking branch 'origin/pr/667'
Open staging database readable in Pull operation

Otherwise any pull that requires a Merge cannot complete.