{"action":"opened","issue":{"url":"https://api.github.com/repos/OrfeasLitos/TrustIsRisk/issues/80","repository_url":"https://api.github.com/repos/OrfeasLitos/TrustIsRisk","labels_url":"https://api.github.com/repos/OrfeasLitos/TrustIsRisk/issues/80/labels{/name}","comments_url":"https://api.github.com/repos/OrfeasLitos/TrustIsRisk/issues/80/comments","events_url":"https://api.github.com/repos/OrfeasLitos/TrustIsRisk/issues/80/events","html_url":"https://github.com/OrfeasLitos/TrustIsRisk/issues/80","id":184645563,"number":80,"title":"find a good way to enumerate the proofs that are separated from the corresponding theorems","user":{"login":"OrfeasLitos","id":18602747,"avatar_url":"https://avatars.githubusercontent.com/u/18602747?v=3","gravatar_id":"","url":"https://api.github.com/users/OrfeasLitos","html_url":"https://github.com/OrfeasLitos","followers_url":"https://api.github.com/users/OrfeasLitos/followers","following_url":"https://api.github.com/users/OrfeasLitos/following{/other_user}","gists_url":"https://api.github.com/users/OrfeasLitos/gists{/gist_id}","starred_url":"https://api.github.com/users/OrfeasLitos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/OrfeasLitos/subscriptions","organizations_url":"https://api.github.com/users/OrfeasLitos/orgs","repos_url":"https://api.github.com/users/OrfeasLitos/repos","events_url":"https://api.github.com/users/OrfeasLitos/events{/privacy}","received_events_url":"https://api.github.com/users/OrfeasLitos/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-10-22T18:17:34Z","updated_at":"2016-10-22T18:17:34Z","closed_at":null,"body":""}}
{"actor":{"display_login":"OrfeasLitos"}}