)]}' { "id": "a147fb2458e94011865bf9ded722c7647d8c443e", "repo": "public/gem5", "revision": "441138b837bde55476d4324f172a6c88b6c186cd", "path": "configs/boot/ping-client.rcS" }