)]}'
{
  "id": "4d1ca9407135d2a7158175398141ea7149b7e298",
  "repo": "testing/jenkins-gem5-prod",
  "revision": "a119a963240a35ab66a5baee3f77cfcd99c6bbbb",
  "path": "configs/boot/devtime.rcS"
}