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