{"action":"created","issue":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/1289","labels_url":"https://api.github.com/repos/ontohub/ontohub/issues/1289/labels{/name}","comments_url":"https://api.github.com/repos/ontohub/ontohub/issues/1289/comments","events_url":"https://api.github.com/repos/ontohub/ontohub/issues/1289/events","html_url":"https://github.com/ontohub/ontohub/pull/1289","id":64366502,"number":1289,"title":"1256 add proving related serializers","user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"tillmo","id":642775,"avatar_url":"https://avatars.githubusercontent.com/u/642775?v=3","gravatar_id":"","url":"https://api.github.com/users/tillmo","html_url":"https://github.com/tillmo","followers_url":"https://api.github.com/users/tillmo/followers","following_url":"https://api.github.com/users/tillmo/following{/other_user}","gists_url":"https://api.github.com/users/tillmo/gists{/gist_id}","starred_url":"https://api.github.com/users/tillmo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tillmo/subscriptions","organizations_url":"https://api.github.com/users/tillmo/orgs","repos_url":"https://api.github.com/users/tillmo/repos","events_url":"https://api.github.com/users/tillmo/events{/privacy}","received_events_url":"https://api.github.com/users/tillmo/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-03-25T20:35:56Z","updated_at":"2015-03-26T12:41:19Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ontohub/ontohub/pulls/1289","html_url":"https://github.com/ontohub/ontohub/pull/1289","diff_url":"https://github.com/ontohub/ontohub/pull/1289.diff","patch_url":"https://github.com/ontohub/ontohub/pull/1289.patch"},"body":"This shall fix #1256, but it lacks specs. As soon as @0robustus1 specifies json schemata for those commands, I will adjust the serializers and API controllers (if needed) and add tests. This is another issue, though (#1290).\r\n\r\nThis branch is based on the branch of #1286 (**1273-improve_proving_interface**) instead of **staging**.  It might be easier to review that one first."},"comment":{"url":"https://api.github.com/repos/ontohub/ontohub/issues/comments/86495413","html_url":"https://github.com/ontohub/ontohub/pull/1289#issuecomment-86495413","issue_url":"https://api.github.com/repos/ontohub/ontohub/issues/1289","id":86495413,"user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"created_at":"2015-03-26T12:41:19Z","updated_at":"2015-03-26T12:41:19Z","body":"What's left to do after talking with @0robustus1:\r\n* [ ] Add links from each ProofAttemptConfiguration to the using ProofAttempts.\r\n* [ ] Move the prover output into a separate model.\r\n* [ ] Write specs."}}