{"action":"created","issue":{"url":"https://api.github.com/repos/martine/ninja/issues/898","labels_url":"https://api.github.com/repos/martine/ninja/issues/898/labels{/name}","comments_url":"https://api.github.com/repos/martine/ninja/issues/898/comments","events_url":"https://api.github.com/repos/martine/ninja/issues/898/events","html_url":"https://github.com/martine/ninja/issues/898","id":54317107,"number":898,"title":"Use SCHED_BATCH when available","user":{"login":"abique","id":31200,"avatar_url":"https://avatars.githubusercontent.com/u/31200?v=3","gravatar_id":"","url":"https://api.github.com/users/abique","html_url":"https://github.com/abique","followers_url":"https://api.github.com/users/abique/followers","following_url":"https://api.github.com/users/abique/following{/other_user}","gists_url":"https://api.github.com/users/abique/gists{/gist_id}","starred_url":"https://api.github.com/users/abique/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/abique/subscriptions","organizations_url":"https://api.github.com/users/abique/orgs","repos_url":"https://api.github.com/users/abique/repos","events_url":"https://api.github.com/users/abique/events{/privacy}","received_events_url":"https://api.github.com/users/abique/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-01-14T12:33:34Z","updated_at":"2015-03-24T20:06:50Z","closed_at":null,"body":"Hi,\r\n\r\nIt would be great to use sched_setscheduler(SCHED_BATCH) when possible. As compilation does not require human interaction.\r\n\r\nThanks."},"comment":{"url":"https://api.github.com/repos/martine/ninja/issues/comments/85672515","html_url":"https://github.com/martine/ninja/issues/898#issuecomment-85672515","issue_url":"https://api.github.com/repos/martine/ninja/issues/898","id":85672515,"user":{"login":"nico","id":3487,"avatar_url":"https://avatars.githubusercontent.com/u/3487?v=3","gravatar_id":"","url":"https://api.github.com/users/nico","html_url":"https://github.com/nico","followers_url":"https://api.github.com/users/nico/followers","following_url":"https://api.github.com/users/nico/following{/other_user}","gists_url":"https://api.github.com/users/nico/gists{/gist_id}","starred_url":"https://api.github.com/users/nico/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nico/subscriptions","organizations_url":"https://api.github.com/users/nico/orgs","repos_url":"https://api.github.com/users/nico/repos","events_url":"https://api.github.com/users/nico/events{/privacy}","received_events_url":"https://api.github.com/users/nico/received_events","type":"User","site_admin":false},"created_at":"2015-03-24T20:06:50Z","updated_at":"2015-03-24T20:06:50Z","body":"Invoking ninja as `chrt --batch ninja` apparently runs it in SCHED_BATCH mode."}}