{"action":"opened","issue":{"url":"https://api.github.com/repos/jayhorn/jayhorn/issues/28","repository_url":"https://api.github.com/repos/jayhorn/jayhorn","labels_url":"https://api.github.com/repos/jayhorn/jayhorn/issues/28/labels{/name}","comments_url":"https://api.github.com/repos/jayhorn/jayhorn/issues/28/comments","events_url":"https://api.github.com/repos/jayhorn/jayhorn/issues/28/events","html_url":"https://github.com/jayhorn/jayhorn/issues/28","id":170548610,"number":28,"title":"Move benchtop in its own project","user":{"login":"martinschaef","id":3271003,"avatar_url":"https://avatars.githubusercontent.com/u/3271003?v=3","gravatar_id":"","url":"https://api.github.com/users/martinschaef","html_url":"https://github.com/martinschaef","followers_url":"https://api.github.com/users/martinschaef/followers","following_url":"https://api.github.com/users/martinschaef/following{/other_user}","gists_url":"https://api.github.com/users/martinschaef/gists{/gist_id}","starred_url":"https://api.github.com/users/martinschaef/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/martinschaef/subscriptions","organizations_url":"https://api.github.com/users/martinschaef/orgs","repos_url":"https://api.github.com/users/martinschaef/repos","events_url":"https://api.github.com/users/martinschaef/events{/privacy}","received_events_url":"https://api.github.com/users/martinschaef/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/jayhorn/jayhorn/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":{"login":"hsanchez","id":199998,"avatar_url":"https://avatars.githubusercontent.com/u/199998?v=3","gravatar_id":"","url":"https://api.github.com/users/hsanchez","html_url":"https://github.com/hsanchez","followers_url":"https://api.github.com/users/hsanchez/followers","following_url":"https://api.github.com/users/hsanchez/following{/other_user}","gists_url":"https://api.github.com/users/hsanchez/gists{/gist_id}","starred_url":"https://api.github.com/users/hsanchez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hsanchez/subscriptions","organizations_url":"https://api.github.com/users/hsanchez/orgs","repos_url":"https://api.github.com/users/hsanchez/repos","events_url":"https://api.github.com/users/hsanchez/events{/privacy}","received_events_url":"https://api.github.com/users/hsanchez/received_events","type":"User","site_admin":false},"assignees":[{"login":"hsanchez","id":199998,"avatar_url":"https://avatars.githubusercontent.com/u/199998?v=3","gravatar_id":"","url":"https://api.github.com/users/hsanchez","html_url":"https://github.com/hsanchez","followers_url":"https://api.github.com/users/hsanchez/followers","following_url":"https://api.github.com/users/hsanchez/following{/other_user}","gists_url":"https://api.github.com/users/hsanchez/gists{/gist_id}","starred_url":"https://api.github.com/users/hsanchez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hsanchez/subscriptions","organizations_url":"https://api.github.com/users/hsanchez/orgs","repos_url":"https://api.github.com/users/hsanchez/repos","events_url":"https://api.github.com/users/hsanchez/events{/privacy}","received_events_url":"https://api.github.com/users/hsanchez/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/jayhorn/jayhorn/milestones/1","html_url":"https://github.com/jayhorn/jayhorn/milestones/Testable%20Transformations","labels_url":"https://api.github.com/repos/jayhorn/jayhorn/milestones/1/labels","id":1894945,"number":1,"title":"Testable Transformations","description":null,"creator":{"login":"martinschaef","id":3271003,"avatar_url":"https://avatars.githubusercontent.com/u/3271003?v=3","gravatar_id":"","url":"https://api.github.com/users/martinschaef","html_url":"https://github.com/martinschaef","followers_url":"https://api.github.com/users/martinschaef/followers","following_url":"https://api.github.com/users/martinschaef/following{/other_user}","gists_url":"https://api.github.com/users/martinschaef/gists{/gist_id}","starred_url":"https://api.github.com/users/martinschaef/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/martinschaef/subscriptions","organizations_url":"https://api.github.com/users/martinschaef/orgs","repos_url":"https://api.github.com/users/martinschaef/repos","events_url":"https://api.github.com/users/martinschaef/events{/privacy}","received_events_url":"https://api.github.com/users/martinschaef/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":0,"state":"open","created_at":"2016-07-20T19:22:41Z","updated_at":"2016-08-11T00:25:27Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2016-08-11T00:25:27Z","updated_at":"2016-08-11T00:25:27Z","closed_at":null,"body":"@hsanchez could you move benchtop into a separate project under this organisation? It should be stand alone. We'll only use it occasionally to test that soottocfg is not introducing unsoundness.\r\n\r\nThis is all part of a greater effort to get our test coverage over 90% again ;) "}}
{"actor":{"display_login":"martinschaef"}}