{"action":"opened","issue":{"url":"https://api.github.com/repos/ymyzk/lambda-dti/issues/7","repository_url":"https://api.github.com/repos/ymyzk/lambda-dti","labels_url":"https://api.github.com/repos/ymyzk/lambda-dti/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/ymyzk/lambda-dti/issues/7/comments","events_url":"https://api.github.com/repos/ymyzk/lambda-dti/issues/7/events","html_url":"https://github.com/ymyzk/lambda-dti/issues/7","id":378805299,"node_id":"MDU6SXNzdWUzNzg4MDUyOTk=","number":7,"title":"Use \"menhir --infer\"","user":{"login":"ymyzk","id":3383281,"node_id":"MDQ6VXNlcjMzODMyODE=","avatar_url":"https://avatars2.githubusercontent.com/u/3383281?v=4","gravatar_id":"","url":"https://api.github.com/users/ymyzk","html_url":"https://github.com/ymyzk","followers_url":"https://api.github.com/users/ymyzk/followers","following_url":"https://api.github.com/users/ymyzk/following{/other_user}","gists_url":"https://api.github.com/users/ymyzk/gists{/gist_id}","starred_url":"https://api.github.com/users/ymyzk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ymyzk/subscriptions","organizations_url":"https://api.github.com/users/ymyzk/orgs","repos_url":"https://api.github.com/users/ymyzk/repos","events_url":"https://api.github.com/users/ymyzk/events{/privacy}","received_events_url":"https://api.github.com/users/ymyzk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-11-08T16:10:48Z","updated_at":"2018-11-08T16:10:48Z","closed_at":null,"author_association":"OWNER","body":"Consider to use \"--infer\" option when using Menhir. We can enable this option with dune 1.4.0+."}}
{"actor":{"display_login":"ymyzk"}}