{"action":"created","issue":{"url":"https://api.github.com/repos/leanprover/leanprover.github.io/issues/53","repository_url":"https://api.github.com/repos/leanprover/leanprover.github.io","labels_url":"https://api.github.com/repos/leanprover/leanprover.github.io/issues/53/labels{/name}","comments_url":"https://api.github.com/repos/leanprover/leanprover.github.io/issues/53/comments","events_url":"https://api.github.com/repos/leanprover/leanprover.github.io/issues/53/events","html_url":"https://github.com/leanprover/leanprover.github.io/pull/53","id":200942772,"number":53,"title":"fix(documentation/publications.md): fix links moved by 2e7bee4","user":{"login":"dselsam","id":4520285,"avatar_url":"https://avatars.githubusercontent.com/u/4520285?v=3","gravatar_id":"","url":"https://api.github.com/users/dselsam","html_url":"https://github.com/dselsam","followers_url":"https://api.github.com/users/dselsam/followers","following_url":"https://api.github.com/users/dselsam/following{/other_user}","gists_url":"https://api.github.com/users/dselsam/gists{/gist_id}","starred_url":"https://api.github.com/users/dselsam/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dselsam/subscriptions","organizations_url":"https://api.github.com/users/dselsam/orgs","repos_url":"https://api.github.com/users/dselsam/repos","events_url":"https://api.github.com/users/dselsam/events{/privacy}","received_events_url":"https://api.github.com/users/dselsam/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-01-16T06:48:59Z","updated_at":"2017-01-16T13:02:18Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/leanprover/leanprover.github.io/pulls/53","html_url":"https://github.com/leanprover/leanprover.github.io/pull/53","diff_url":"https://github.com/leanprover/leanprover.github.io/pull/53.diff","patch_url":"https://github.com/leanprover/leanprover.github.io/pull/53.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/leanprover/leanprover.github.io/issues/comments/272856736","html_url":"https://github.com/leanprover/leanprover.github.io/pull/53#issuecomment-272856736","issue_url":"https://api.github.com/repos/leanprover/leanprover.github.io/issues/53","id":272856736,"user":{"login":"avigad","id":2783534,"avatar_url":"https://avatars.githubusercontent.com/u/2783534?v=3","gravatar_id":"","url":"https://api.github.com/users/avigad","html_url":"https://github.com/avigad","followers_url":"https://api.github.com/users/avigad/followers","following_url":"https://api.github.com/users/avigad/following{/other_user}","gists_url":"https://api.github.com/users/avigad/gists{/gist_id}","starred_url":"https://api.github.com/users/avigad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/avigad/subscriptions","organizations_url":"https://api.github.com/users/avigad/orgs","repos_url":"https://api.github.com/users/avigad/repos","events_url":"https://api.github.com/users/avigad/events{/privacy}","received_events_url":"https://api.github.com/users/avigad/received_events","type":"User","site_admin":false},"created_at":"2017-01-16T13:02:18Z","updated_at":"2017-01-16T13:02:18Z","body":"In fact, this fix is already handled by my last pull request."}}
{"actor":{"display_login":"avigad"}}