)]}' { "id": "fa4f1e9a396a19dd0aa4eb1303f0ce0c6cf1f51c", "repo": "plugins/events", "revision": "79e7941ff738c805da0264d026842daca67d8e9c", "path": "tools/workspace_status.py" }