{"action":"created","issue":{"url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/issues/58","repository_url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts","labels_url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/issues/58/labels{/name}","comments_url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/issues/58/comments","events_url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/issues/58/events","html_url":"https://github.com/runtimeverification/verified-smart-contracts/pull/58","id":372071570,"node_id":"MDExOlB1bGxSZXF1ZXN0MjI0Mzc2MTUy","number":58,"title":"specs for testSignatureSplit","user":{"login":"yzhang90","id":5641590,"node_id":"MDQ6VXNlcjU2NDE1OTA=","avatar_url":"https://avatars3.githubusercontent.com/u/5641590?v=4","gravatar_id":"","url":"https://api.github.com/users/yzhang90","html_url":"https://github.com/yzhang90","followers_url":"https://api.github.com/users/yzhang90/followers","following_url":"https://api.github.com/users/yzhang90/following{/other_user}","gists_url":"https://api.github.com/users/yzhang90/gists{/gist_id}","starred_url":"https://api.github.com/users/yzhang90/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yzhang90/subscriptions","organizations_url":"https://api.github.com/users/yzhang90/orgs","repos_url":"https://api.github.com/users/yzhang90/repos","events_url":"https://api.github.com/users/yzhang90/events{/privacy}","received_events_url":"https://api.github.com/users/yzhang90/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-10-19T18:40:29Z","updated_at":"2018-10-23T18:37:28Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/pulls/58","html_url":"https://github.com/runtimeverification/verified-smart-contracts/pull/58","diff_url":"https://github.com/runtimeverification/verified-smart-contracts/pull/58.diff","patch_url":"https://github.com/runtimeverification/verified-smart-contracts/pull/58.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/issues/comments/432368795","html_url":"https://github.com/runtimeverification/verified-smart-contracts/pull/58#issuecomment-432368795","issue_url":"https://api.github.com/repos/runtimeverification/verified-smart-contracts/issues/58","id":432368795,"node_id":"MDEyOklzc3VlQ29tbWVudDQzMjM2ODc5NQ==","user":{"login":"daejunpark","id":5491770,"node_id":"MDQ6VXNlcjU0OTE3NzA=","avatar_url":"https://avatars0.githubusercontent.com/u/5491770?v=4","gravatar_id":"","url":"https://api.github.com/users/daejunpark","html_url":"https://github.com/daejunpark","followers_url":"https://api.github.com/users/daejunpark/followers","following_url":"https://api.github.com/users/daejunpark/following{/other_user}","gists_url":"https://api.github.com/users/daejunpark/gists{/gist_id}","starred_url":"https://api.github.com/users/daejunpark/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/daejunpark/subscriptions","organizations_url":"https://api.github.com/users/daejunpark/orgs","repos_url":"https://api.github.com/users/daejunpark/repos","events_url":"https://api.github.com/users/daejunpark/events{/privacy}","received_events_url":"https://api.github.com/users/daejunpark/received_events","type":"User","site_admin":false},"created_at":"2018-10-23T18:37:28Z","updated_at":"2018-10-23T18:37:28Z","author_association":"COLLABORATOR","body":"@denis-bogdanas I rebased it onto the current master. Please merge if you are happy with it."}}
{"actor":{"display_login":"daejunpark"}}