{"action":"created","issue":{"url":"https://api.github.com/repos/UniMath/UniMath/issues/425","repository_url":"https://api.github.com/repos/UniMath/UniMath","labels_url":"https://api.github.com/repos/UniMath/UniMath/issues/425/labels{/name}","comments_url":"https://api.github.com/repos/UniMath/UniMath/issues/425/comments","events_url":"https://api.github.com/repos/UniMath/UniMath/issues/425/events","html_url":"https://github.com/UniMath/UniMath/pull/425","id":170456625,"number":425,"title":"Cleaned Rigs_and_Rings.v","user":{"login":"tpannila","id":3755739,"avatar_url":"https://avatars.githubusercontent.com/u/3755739?v=3","gravatar_id":"","url":"https://api.github.com/users/tpannila","html_url":"https://github.com/tpannila","followers_url":"https://api.github.com/users/tpannila/followers","following_url":"https://api.github.com/users/tpannila/following{/other_user}","gists_url":"https://api.github.com/users/tpannila/gists{/gist_id}","starred_url":"https://api.github.com/users/tpannila/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tpannila/subscriptions","organizations_url":"https://api.github.com/users/tpannila/orgs","repos_url":"https://api.github.com/users/tpannila/repos","events_url":"https://api.github.com/users/tpannila/events{/privacy}","received_events_url":"https://api.github.com/users/tpannila/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":15,"created_at":"2016-08-10T16:10:39Z","updated_at":"2016-09-07T00:58:52Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/UniMath/UniMath/pulls/425","html_url":"https://github.com/UniMath/UniMath/pull/425","diff_url":"https://github.com/UniMath/UniMath/pull/425.diff","patch_url":"https://github.com/UniMath/UniMath/pull/425.patch"},"body":"Cleaned long lines in Rigs_and_Rings.v and added Contents comment."},"comment":{"url":"https://api.github.com/repos/UniMath/UniMath/issues/comments/245143283","html_url":"https://github.com/UniMath/UniMath/pull/425#issuecomment-245143283","issue_url":"https://api.github.com/repos/UniMath/UniMath/issues/425","id":245143283,"user":{"login":"vladimirias","id":424011,"avatar_url":"https://avatars.githubusercontent.com/u/424011?v=3","gravatar_id":"","url":"https://api.github.com/users/vladimirias","html_url":"https://github.com/vladimirias","followers_url":"https://api.github.com/users/vladimirias/followers","following_url":"https://api.github.com/users/vladimirias/following{/other_user}","gists_url":"https://api.github.com/users/vladimirias/gists{/gist_id}","starred_url":"https://api.github.com/users/vladimirias/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vladimirias/subscriptions","organizations_url":"https://api.github.com/users/vladimirias/orgs","repos_url":"https://api.github.com/users/vladimirias/repos","events_url":"https://api.github.com/users/vladimirias/events{/privacy}","received_events_url":"https://api.github.com/users/vladimirias/received_events","type":"User","site_admin":false},"created_at":"2016-09-07T00:58:52Z","updated_at":"2016-09-07T00:58:52Z","body":"Can we merge this PR?"}}
{"actor":{"display_login":"vladimirias"}}