{"action":"created","issue":{"url":"https://api.github.com/repos/b0101/gistssofar/issues/3","labels_url":"https://api.github.com/repos/b0101/gistssofar/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/b0101/gistssofar/issues/3/comments","events_url":"https://api.github.com/repos/b0101/gistssofar/issues/3/events","html_url":"https://github.com/b0101/gistssofar/issues/3","id":73270065,"number":3,"title":"agdaの入門","user":{"login":"b0101","id":12206597,"avatar_url":"https://avatars.githubusercontent.com/u/12206597?v=3","gravatar_id":"","url":"https://api.github.com/users/b0101","html_url":"https://github.com/b0101","followers_url":"https://api.github.com/users/b0101/followers","following_url":"https://api.github.com/users/b0101/following{/other_user}","gists_url":"https://api.github.com/users/b0101/gists{/gist_id}","starred_url":"https://api.github.com/users/b0101/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/b0101/subscriptions","organizations_url":"https://api.github.com/users/b0101/orgs","repos_url":"https://api.github.com/users/b0101/repos","events_url":"https://api.github.com/users/b0101/events{/privacy}","received_events_url":"https://api.github.com/users/b0101/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/b0101/gistssofar/labels/programming","name":"programming","color":"84b6eb"}],"state":"open","locked":false,"assignee":{"login":"b0101","id":12206597,"avatar_url":"https://avatars.githubusercontent.com/u/12206597?v=3","gravatar_id":"","url":"https://api.github.com/users/b0101","html_url":"https://github.com/b0101","followers_url":"https://api.github.com/users/b0101/followers","following_url":"https://api.github.com/users/b0101/following{/other_user}","gists_url":"https://api.github.com/users/b0101/gists{/gist_id}","starred_url":"https://api.github.com/users/b0101/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/b0101/subscriptions","organizations_url":"https://api.github.com/users/b0101/orgs","repos_url":"https://api.github.com/users/b0101/repos","events_url":"https://api.github.com/users/b0101/events{/privacy}","received_events_url":"https://api.github.com/users/b0101/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/b0101/gistssofar/milestones/4","html_url":"https://github.com/b0101/gistssofar/milestones/2015%201/2","labels_url":"https://api.github.com/repos/b0101/gistssofar/milestones/4/labels","id":1097108,"number":4,"title":"2015 1/2","description":"ファイルに記入されるのはissueが終了した時点。そんなにissueが多くなるとは思えないが、まずは半年で切ってみることにしてみた。ただし5月始まりなので9月まで。","creator":{"login":"b0101","id":12206597,"avatar_url":"https://avatars.githubusercontent.com/u/12206597?v=3","gravatar_id":"","url":"https://api.github.com/users/b0101","html_url":"https://github.com/b0101","followers_url":"https://api.github.com/users/b0101/followers","following_url":"https://api.github.com/users/b0101/following{/other_user}","gists_url":"https://api.github.com/users/b0101/gists{/gist_id}","starred_url":"https://api.github.com/users/b0101/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/b0101/subscriptions","organizations_url":"https://api.github.com/users/b0101/orgs","repos_url":"https://api.github.com/users/b0101/repos","events_url":"https://api.github.com/users/b0101/events{/privacy}","received_events_url":"https://api.github.com/users/b0101/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":3,"state":"open","created_at":"2015-05-05T15:35:49Z","updated_at":"2015-05-06T07:45:08Z","due_on":"2015-09-29T15:00:00Z","closed_at":null},"comments":1,"created_at":"2015-05-05T10:15:50Z","updated_at":"2015-05-06T07:53:26Z","closed_at":null,"body":"ghc-7.10対応の[agda](https://github.com/agda/agda)は2.4.3。まだリリースされてない。"},"comment":{"url":"https://api.github.com/repos/b0101/gistssofar/issues/comments/99361968","html_url":"https://github.com/b0101/gistssofar/issues/3#issuecomment-99361968","issue_url":"https://api.github.com/repos/b0101/gistssofar/issues/3","id":99361968,"user":{"login":"b0101","id":12206597,"avatar_url":"https://avatars.githubusercontent.com/u/12206597?v=3","gravatar_id":"","url":"https://api.github.com/users/b0101","html_url":"https://github.com/b0101","followers_url":"https://api.github.com/users/b0101/followers","following_url":"https://api.github.com/users/b0101/following{/other_user}","gists_url":"https://api.github.com/users/b0101/gists{/gist_id}","starred_url":"https://api.github.com/users/b0101/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/b0101/subscriptions","organizations_url":"https://api.github.com/users/b0101/orgs","repos_url":"https://api.github.com/users/b0101/repos","events_url":"https://api.github.com/users/b0101/events{/privacy}","received_events_url":"https://api.github.com/users/b0101/received_events","type":"User","site_admin":false},"created_at":"2015-05-06T07:53:26Z","updated_at":"2015-05-06T07:53:26Z","body":"次に手を付ける予定： [Agda入門](http://ie.u-ryukyu.ac.jp/~e115763/slides/events/osc2014/slide.html)"}}