)]}' { "id": "5729ce1d7028d6178e54f615400fd3a4ea86f376", "repo": "plugins/rename-project", "revision": "3b7665b6271e811a305f205556f5b7a9c5e40459", "path": "tools/workspace_status.py" }