collaborative graph editing with GitGraph – Gremlin-users | Google Groups collaborative graph editing with GitGraph – Gremlin-users | Google Groups