{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/140","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/140/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/140/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/140/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/140","id":150700035,"number":140,"title":"Remerge #139 (\"preproc\")","user":{"login":"delcypher","id":511795,"avatar_url":"https://avatars.githubusercontent.com/u/511795?v=3","gravatar_id":"","url":"https://api.github.com/users/delcypher","html_url":"https://github.com/delcypher","followers_url":"https://api.github.com/users/delcypher/followers","following_url":"https://api.github.com/users/delcypher/following{/other_user}","gists_url":"https://api.github.com/users/delcypher/gists{/gist_id}","starred_url":"https://api.github.com/users/delcypher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/delcypher/subscriptions","organizations_url":"https://api.github.com/users/delcypher/orgs","repos_url":"https://api.github.com/users/delcypher/repos","events_url":"https://api.github.com/users/delcypher/events{/privacy}","received_events_url":"https://api.github.com/users/delcypher/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2016-04-24T21:07:57Z","updated_at":"2016-04-25T15:33:03Z","closed_at":null,"body":"It looks like #139 which was recently merged has been reverted which is a bit of a pain. If there was something wrong with the PR it should have not been merged.\r\n\r\nAnyway I'd like to find out what you want ( @dbeyer  ) changed so the code can be remerged as a new PR.\r\n\r\nAfter speaking to @PhilippWendler I'm happy to re-license the SVCB code under Apache 2.0 but I want to know:\r\n\r\nAre there any other changes needed before I submit a new PR?"},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/214397761","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/140#issuecomment-214397761","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/140","id":214397761,"user":{"login":"delcypher","id":511795,"avatar_url":"https://avatars.githubusercontent.com/u/511795?v=3","gravatar_id":"","url":"https://api.github.com/users/delcypher","html_url":"https://github.com/delcypher","followers_url":"https://api.github.com/users/delcypher/followers","following_url":"https://api.github.com/users/delcypher/following{/other_user}","gists_url":"https://api.github.com/users/delcypher/gists{/gist_id}","starred_url":"https://api.github.com/users/delcypher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/delcypher/subscriptions","organizations_url":"https://api.github.com/users/delcypher/orgs","repos_url":"https://api.github.com/users/delcypher/repos","events_url":"https://api.github.com/users/delcypher/events{/privacy}","received_events_url":"https://api.github.com/users/delcypher/received_events","type":"User","site_admin":false},"created_at":"2016-04-25T15:33:02Z","updated_at":"2016-04-25T15:33:02Z","body":"@sfsiegel you may be interested in this."}}