{"action":"created","issue":{"url":"https://api.github.com/repos/dbeyer/benchexec/issues/11","labels_url":"https://api.github.com/repos/dbeyer/benchexec/issues/11/labels{/name}","comments_url":"https://api.github.com/repos/dbeyer/benchexec/issues/11/comments","events_url":"https://api.github.com/repos/dbeyer/benchexec/issues/11/events","html_url":"https://github.com/dbeyer/benchexec/pull/11","id":67924059,"number":11,"title":"Added the wrapper for the PAGAI tool.","user":{"login":"cheshire","id":348959,"avatar_url":"https://avatars.githubusercontent.com/u/348959?v=3","gravatar_id":"","url":"https://api.github.com/users/cheshire","html_url":"https://github.com/cheshire","followers_url":"https://api.github.com/users/cheshire/followers","following_url":"https://api.github.com/users/cheshire/following{/other_user}","gists_url":"https://api.github.com/users/cheshire/gists{/gist_id}","starred_url":"https://api.github.com/users/cheshire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cheshire/subscriptions","organizations_url":"https://api.github.com/users/cheshire/orgs","repos_url":"https://api.github.com/users/cheshire/repos","events_url":"https://api.github.com/users/cheshire/events{/privacy}","received_events_url":"https://api.github.com/users/cheshire/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-04-12T14:47:11Z","updated_at":"2015-11-03T16:54:48Z","closed_at":"2015-04-13T08:06:26Z","pull_request":{"url":"https://api.github.com/repos/dbeyer/benchexec/pulls/11","html_url":"https://github.com/dbeyer/benchexec/pull/11","diff_url":"https://github.com/dbeyer/benchexec/pull/11.diff","patch_url":"https://github.com/dbeyer/benchexec/pull/11.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/dbeyer/benchexec/issues/comments/153415266","html_url":"https://github.com/dbeyer/benchexec/pull/11#issuecomment-153415266","issue_url":"https://api.github.com/repos/dbeyer/benchexec/issues/11","id":153415266,"user":{"login":"PhilippWendler","id":2545335,"avatar_url":"https://avatars.githubusercontent.com/u/2545335?v=3","gravatar_id":"","url":"https://api.github.com/users/PhilippWendler","html_url":"https://github.com/PhilippWendler","followers_url":"https://api.github.com/users/PhilippWendler/followers","following_url":"https://api.github.com/users/PhilippWendler/following{/other_user}","gists_url":"https://api.github.com/users/PhilippWendler/gists{/gist_id}","starred_url":"https://api.github.com/users/PhilippWendler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PhilippWendler/subscriptions","organizations_url":"https://api.github.com/users/PhilippWendler/orgs","repos_url":"https://api.github.com/users/PhilippWendler/repos","events_url":"https://api.github.com/users/PhilippWendler/events{/privacy}","received_events_url":"https://api.github.com/users/PhilippWendler/received_events","type":"User","site_admin":false},"created_at":"2015-11-03T16:54:48Z","updated_at":"2015-11-03T16:54:48Z","body":"When I merged this, I did not notice that there is no license header in your file.\r\nOnce could assume that you meant to distribute this under the Apache 2.0 License because the whole project has this license, but an explicit statement would be better.\r\nThus, could you please add an appropriate header? \r\nIf possible, we would prefer the Apache 2.0 License like in the other files."}}