boundlessgeo/GeoGit — pull request #658 by groldan (2014-03-27 12:10:14+00:00)
Title: Remove geoserver plugin, moved to geoserver-exts

Depends on the following PR being applied https://github.com/boundlessgeo/geoserver-exts/pull/44