boundlessgeo/GeoGit — pull request #777 by ustroetz (2014-06-25 15:10:03+00:00)
Title: Update workshop.rst

According to mailing list this needs to be fixed:
https://groups.google.com/a/boundlessgeo.com/forum/#!topic/geogit/qU1CwYza0A0