{"action":"opened","issue":{"url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/188","labels_url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/188/labels{/name}","comments_url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/188/comments","events_url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/188/events","html_url":"https://github.com/chsticksel/kind2-dev/issues/188","id":54376670,"number":188,"title":"Merge invariant generation to main branch","user":{"login":"chsticksel","id":3951777,"avatar_url":"https://avatars.githubusercontent.com/u/3951777?v=3","gravatar_id":"","url":"https://api.github.com/users/chsticksel","html_url":"https://github.com/chsticksel","followers_url":"https://api.github.com/users/chsticksel/followers","following_url":"https://api.github.com/users/chsticksel/following{/other_user}","gists_url":"https://api.github.com/users/chsticksel/gists{/gist_id}","starred_url":"https://api.github.com/users/chsticksel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chsticksel/subscriptions","organizations_url":"https://api.github.com/users/chsticksel/orgs","repos_url":"https://api.github.com/users/chsticksel/repos","events_url":"https://api.github.com/users/chsticksel/events{/privacy}","received_events_url":"https://api.github.com/users/chsticksel/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-01-14T21:06:10Z","updated_at":"2015-01-14T21:06:11Z","closed_at":null,"body":"\n\n----------------------------------------\n- Bitbucket: https://bitbucket.org/kind2-mc/kind2/issue/6\n- Originally reported by: Adrien Champion\n- Originally created at: 2014-10-28T18:25:07.536\n"}}