{"action":"opened","issue":{"url":"https://api.github.com/repos/Submitty/Submitty/issues/1897","repository_url":"https://api.github.com/repos/Submitty/Submitty","labels_url":"https://api.github.com/repos/Submitty/Submitty/issues/1897/labels{/name}","comments_url":"https://api.github.com/repos/Submitty/Submitty/issues/1897/comments","events_url":"https://api.github.com/repos/Submitty/Submitty/issues/1897/events","html_url":"https://github.com/Submitty/Submitty/issues/1897","id":316999624,"number":1897,"title":"Add automatic installation of Z3 (& redo directory for 3rd party tools... )","user":{"login":"bmcutler","id":5871417,"avatar_url":"https://avatars0.githubusercontent.com/u/5871417?v=4","gravatar_id":"","url":"https://api.github.com/users/bmcutler","html_url":"https://github.com/bmcutler","followers_url":"https://api.github.com/users/bmcutler/followers","following_url":"https://api.github.com/users/bmcutler/following{/other_user}","gists_url":"https://api.github.com/users/bmcutler/gists{/gist_id}","starred_url":"https://api.github.com/users/bmcutler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmcutler/subscriptions","organizations_url":"https://api.github.com/users/bmcutler/orgs","repos_url":"https://api.github.com/users/bmcutler/repos","events_url":"https://api.github.com/users/bmcutler/events{/privacy}","received_events_url":"https://api.github.com/users/bmcutler/received_events","type":"User","site_admin":false},"labels":[{"id":255288700,"url":"https://api.github.com/repos/Submitty/Submitty/labels/Autograding","name":"Autograding","color":"e11d21","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/Submitty/Submitty/milestones/23","html_url":"https://github.com/Submitty/Submitty/milestone/23","labels_url":"https://api.github.com/repos/Submitty/Submitty/milestones/23/labels","id":3061148,"number":23,"title":"Summer 2018","description":"","creator":{"login":"bmcutler","id":5871417,"avatar_url":"https://avatars0.githubusercontent.com/u/5871417?v=4","gravatar_id":"","url":"https://api.github.com/users/bmcutler","html_url":"https://github.com/bmcutler","followers_url":"https://api.github.com/users/bmcutler/followers","following_url":"https://api.github.com/users/bmcutler/following{/other_user}","gists_url":"https://api.github.com/users/bmcutler/gists{/gist_id}","starred_url":"https://api.github.com/users/bmcutler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmcutler/subscriptions","organizations_url":"https://api.github.com/users/bmcutler/orgs","repos_url":"https://api.github.com/users/bmcutler/repos","events_url":"https://api.github.com/users/bmcutler/events{/privacy}","received_events_url":"https://api.github.com/users/bmcutler/received_events","type":"User","site_admin":false},"open_issues":28,"closed_issues":5,"state":"open","created_at":"2018-01-24T13:56:00Z","updated_at":"2018-04-23T22:03:01Z","due_on":"2018-06-30T07:00:00Z","closed_at":null},"comments":0,"created_at":"2018-04-23T22:03:00Z","updated_at":"2018-04-23T22:03:00Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"See also #1896 "}}
{"actor":{"display_login":"bmcutler"}}