{"action":"created","issue":{"url":"https://api.github.com/repos/agda/agda/issues/1693","labels_url":"https://api.github.com/repos/agda/agda/issues/1693/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/1693/comments","events_url":"https://api.github.com/repos/agda/agda/issues/1693/events","html_url":"https://github.com/agda/agda/issues/1693","id":112322399,"number":1693,"title":"The new library management system should be easier to discover","user":{"login":"nad","id":293222,"avatar_url":"https://avatars.githubusercontent.com/u/293222?v=3","gravatar_id":"","url":"https://api.github.com/users/nad","html_url":"https://github.com/nad","followers_url":"https://api.github.com/users/nad/followers","following_url":"https://api.github.com/users/nad/following{/other_user}","gists_url":"https://api.github.com/users/nad/gists{/gist_id}","starred_url":"https://api.github.com/users/nad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nad/subscriptions","organizations_url":"https://api.github.com/users/nad/orgs","repos_url":"https://api.github.com/users/nad/repos","events_url":"https://api.github.com/users/nad/events{/privacy}","received_events_url":"https://api.github.com/users/nad/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/agda/agda/labels/Emacs","name":"Emacs","color":"ededed"},{"url":"https://api.github.com/repos/agda/agda/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/agda/agda/labels/library-management","name":"library-management","color":"ededed"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/agda/agda/milestones/2","html_url":"https://github.com/agda/agda/milestones/2.4.4","labels_url":"https://api.github.com/repos/agda/agda/milestones/2/labels","id":1247354,"number":2,"title":"2.4.4","description":null,"creator":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"open_issues":15,"closed_issues":38,"state":"open","created_at":"2015-08-09T23:15:42Z","updated_at":"2015-10-20T09:30:55Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2015-10-20T09:20:35Z","updated_at":"2015-10-20T13:51:23Z","closed_at":null,"body":"I suggest that if `agda2-include-dirs` is set (with a non-default value?), then we should give some informative message to the user (including information about how to turn off the message)."},"comment":{"url":"https://api.github.com/repos/agda/agda/issues/comments/149574224","html_url":"https://github.com/agda/agda/issues/1693#issuecomment-149574224","issue_url":"https://api.github.com/repos/agda/agda/issues/1693","id":149574224,"user":{"login":"andreasabel","id":1155218,"avatar_url":"https://avatars.githubusercontent.com/u/1155218?v=3","gravatar_id":"","url":"https://api.github.com/users/andreasabel","html_url":"https://github.com/andreasabel","followers_url":"https://api.github.com/users/andreasabel/followers","following_url":"https://api.github.com/users/andreasabel/following{/other_user}","gists_url":"https://api.github.com/users/andreasabel/gists{/gist_id}","starred_url":"https://api.github.com/users/andreasabel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreasabel/subscriptions","organizations_url":"https://api.github.com/users/andreasabel/orgs","repos_url":"https://api.github.com/users/andreasabel/repos","events_url":"https://api.github.com/users/andreasabel/events{/privacy}","received_events_url":"https://api.github.com/users/andreasabel/received_events","type":"User","site_admin":false},"created_at":"2015-10-20T13:51:23Z","updated_at":"2015-10-20T13:51:23Z","body":"+1."}}