- git: local-name: websocket_gui uri: https://github.com/ethz-asl/websocket_gui.git meta: repo-name: ethz-asl