G github.com Show HN: Collaboratively Edit Diagrams in VS Code with Draw.io 142 points Gehinnn 6 years ago 14 comments