Update helping.rst

Spelling & punctuation corrections.
removed geoserver plugin, now part of geoserver-exts (https://github.com/boundlessgeo/geoserver-exts/)
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.
Merge remote-tracking branch 'origin/pr/651'
Make shp export honor the name of the attributes in the output schema

Before this change, exporting a feature with a geometry name other than
"the_geom" (the default used by the geotools for a shapefile) resulted
in an empty .shp file
modified verbose option in ls-tree to display bounds, tree count and size
Merge pull request #658 from groldan/remove_geoserver_plugin

Remove geoserver plugin, moved to geoserver-exts
Improved performance of LogOp when path filter is specified.

- Made the filter use FindTreeChild instead of DiffOp to specifically look for a change
at the path.
- Moved the creation of geogit commands outside of loops to avoid needless work.
Merge pull request #664 from dwins/push-and-pull-tags

Add ability to push and pull tags
Merge pull request #669 from jdgarrett/log-op-performance

Improved performance of LogOp when path filter is specified.
Add tests for new fetch behavior