)]}'
{
  "id": "394e508b467cc5e71c2030b7b2c75b2d3070a4aa",
  "repo": "3p/sel4/musllibc",
  "revision": "2af3006b0ccf36ba9ac5123f539d577fd97c5350",
  "path": "src/sched/sched_getscheduler.c"
}