sandbox Using draw.io diagrams in github: Edit diagram To update the diagram, export as PNG+XML via File, Export as, PNG (with XML).
