{"action":"closed","issue":{"url":"https://api.github.com/repos/abella-prover/abella/issues/66","repository_url":"https://api.github.com/repos/abella-prover/abella","labels_url":"https://api.github.com/repos/abella-prover/abella/issues/66/labels{/name}","comments_url":"https://api.github.com/repos/abella-prover/abella/issues/66/comments","events_url":"https://api.github.com/repos/abella-prover/abella/issues/66/events","html_url":"https://github.com/abella-prover/abella/issues/66","id":175629593,"number":66,"title":"Search asynchrony on new assumptions breaks tests","user":{"login":"robblanco","id":4892008,"avatar_url":"https://avatars.githubusercontent.com/u/4892008?v=3","gravatar_id":"","url":"https://api.github.com/users/robblanco","html_url":"https://github.com/robblanco","followers_url":"https://api.github.com/users/robblanco/followers","following_url":"https://api.github.com/users/robblanco/following{/other_user}","gists_url":"https://api.github.com/users/robblanco/gists{/gist_id}","starred_url":"https://api.github.com/users/robblanco/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/robblanco/subscriptions","organizations_url":"https://api.github.com/users/robblanco/orgs","repos_url":"https://api.github.com/users/robblanco/repos","events_url":"https://api.github.com/users/robblanco/events{/privacy}","received_events_url":"https://api.github.com/users/robblanco/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/abella-prover/abella/labels/bug","name":"bug","color":"e11d21"}],"state":"closed","locked":false,"assignee":{"login":"chaudhuri","id":573928,"avatar_url":"https://avatars.githubusercontent.com/u/573928?v=3","gravatar_id":"","url":"https://api.github.com/users/chaudhuri","html_url":"https://github.com/chaudhuri","followers_url":"https://api.github.com/users/chaudhuri/followers","following_url":"https://api.github.com/users/chaudhuri/following{/other_user}","gists_url":"https://api.github.com/users/chaudhuri/gists{/gist_id}","starred_url":"https://api.github.com/users/chaudhuri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chaudhuri/subscriptions","organizations_url":"https://api.github.com/users/chaudhuri/orgs","repos_url":"https://api.github.com/users/chaudhuri/repos","events_url":"https://api.github.com/users/chaudhuri/events{/privacy}","received_events_url":"https://api.github.com/users/chaudhuri/received_events","type":"User","site_admin":false},"assignees":[{"login":"chaudhuri","id":573928,"avatar_url":"https://avatars.githubusercontent.com/u/573928?v=3","gravatar_id":"","url":"https://api.github.com/users/chaudhuri","html_url":"https://github.com/chaudhuri","followers_url":"https://api.github.com/users/chaudhuri/followers","following_url":"https://api.github.com/users/chaudhuri/following{/other_user}","gists_url":"https://api.github.com/users/chaudhuri/gists{/gist_id}","starred_url":"https://api.github.com/users/chaudhuri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chaudhuri/subscriptions","organizations_url":"https://api.github.com/users/chaudhuri/orgs","repos_url":"https://api.github.com/users/chaudhuri/repos","events_url":"https://api.github.com/users/chaudhuri/events{/privacy}","received_events_url":"https://api.github.com/users/chaudhuri/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2016-09-07T23:21:23Z","updated_at":"2016-09-08T09:26:00Z","closed_at":"2016-09-08T09:26:00Z","body":"Commit 9d66a81 breaks `make test` by falling out of sync with changed code."}}
{"actor":{"display_login":"chaudhuri"}}