{"action":"opened","number":5,"pull_request":{"url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/5","id":79387429,"html_url":"https://github.com/PeterBorah/smart-contract-security-examples/pull/5","diff_url":"https://github.com/PeterBorah/smart-contract-security-examples/pull/5.diff","patch_url":"https://github.com/PeterBorah/smart-contract-security-examples/pull/5.patch","issue_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/issues/5","number":5,"state":"open","locked":false,"title":"checkInvariants Solidity limitation","user":{"login":"ethers","id":6937903,"avatar_url":"https://avatars.githubusercontent.com/u/6937903?v=3","gravatar_id":"","url":"https://api.github.com/users/ethers","html_url":"https://github.com/ethers","followers_url":"https://api.github.com/users/ethers/followers","following_url":"https://api.github.com/users/ethers/following{/other_user}","gists_url":"https://api.github.com/users/ethers/gists{/gist_id}","starred_url":"https://api.github.com/users/ethers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ethers/subscriptions","organizations_url":"https://api.github.com/users/ethers/orgs","repos_url":"https://api.github.com/users/ethers/repos","events_url":"https://api.github.com/users/ethers/events{/privacy}","received_events_url":"https://api.github.com/users/ethers/received_events","type":"User","site_admin":false},"body":"Mention current Solidity limitation because this is an example that some people may just copy without being aware of the limitation.","created_at":"2016-07-29T16:31:30Z","updated_at":"2016-07-29T16:31:30Z","closed_at":null,"merged_at":null,"merge_commit_sha":null,"assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/5/commits","review_comments_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/5/comments","review_comment_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/comments{/number}","comments_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/issues/5/comments","statuses_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/statuses/b09e951cd0296ed37cb5a6a75b9fa17a432c7768","head":{"label":"ethers:patch-1","ref":"patch-1","sha":"b09e951cd0296ed37cb5a6a75b9fa17a432c7768","user":{"login":"ethers","id":6937903,"avatar_url":"https://avatars.githubusercontent.com/u/6937903?v=3","gravatar_id":"","url":"https://api.github.com/users/ethers","html_url":"https://github.com/ethers","followers_url":"https://api.github.com/users/ethers/followers","following_url":"https://api.github.com/users/ethers/following{/other_user}","gists_url":"https://api.github.com/users/ethers/gists{/gist_id}","starred_url":"https://api.github.com/users/ethers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ethers/subscriptions","organizations_url":"https://api.github.com/users/ethers/orgs","repos_url":"https://api.github.com/users/ethers/repos","events_url":"https://api.github.com/users/ethers/events{/privacy}","received_events_url":"https://api.github.com/users/ethers/received_events","type":"User","site_admin":false},"repo":{"id":64494886,"name":"smart-contract-security-examples","full_name":"ethers/smart-contract-security-examples","owner":{"login":"ethers","id":6937903,"avatar_url":"https://avatars.githubusercontent.com/u/6937903?v=3","gravatar_id":"","url":"https://api.github.com/users/ethers","html_url":"https://github.com/ethers","followers_url":"https://api.github.com/users/ethers/followers","following_url":"https://api.github.com/users/ethers/following{/other_user}","gists_url":"https://api.github.com/users/ethers/gists{/gist_id}","starred_url":"https://api.github.com/users/ethers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ethers/subscriptions","organizations_url":"https://api.github.com/users/ethers/orgs","repos_url":"https://api.github.com/users/ethers/repos","events_url":"https://api.github.com/users/ethers/events{/privacy}","received_events_url":"https://api.github.com/users/ethers/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/ethers/smart-contract-security-examples","description":"Some example patterns for building fault-tolerant Ethereum smart contracts","fork":true,"url":"https://api.github.com/repos/ethers/smart-contract-security-examples","forks_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/forks","keys_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/teams","hooks_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/hooks","issue_events_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/issues/events{/number}","events_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/events","assignees_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/assignees{/user}","branches_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/branches{/branch}","tags_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/tags","blobs_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/git/refs{/sha}","trees_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/statuses/{sha}","languages_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/languages","stargazers_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/stargazers","contributors_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/contributors","subscribers_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/subscribers","subscription_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/subscription","commits_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/commits{/sha}","git_commits_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/git/commits{/sha}","comments_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/comments{/number}","issue_comment_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/issues/comments{/number}","contents_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/contents/{+path}","compare_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/merges","archive_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/downloads","issues_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/issues{/number}","pulls_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/pulls{/number}","milestones_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/milestones{/number}","notifications_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/labels{/name}","releases_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/releases{/id}","deployments_url":"https://api.github.com/repos/ethers/smart-contract-security-examples/deployments","created_at":"2016-07-29T16:28:33Z","updated_at":"2016-07-29T16:28:34Z","pushed_at":"2016-07-29T16:31:18Z","git_url":"git://github.com/ethers/smart-contract-security-examples.git","ssh_url":"git@github.com:ethers/smart-contract-security-examples.git","clone_url":"https://github.com/ethers/smart-contract-security-examples.git","svn_url":"https://github.com/ethers/smart-contract-security-examples","homepage":null,"size":23,"stargazers_count":0,"watchers_count":0,"language":"JavaScript","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"PeterBorah:master","ref":"master","sha":"53ee5e58caa1b0c1fb5506742e71412406751383","user":{"login":"PeterBorah","id":2374327,"avatar_url":"https://avatars.githubusercontent.com/u/2374327?v=3","gravatar_id":"","url":"https://api.github.com/users/PeterBorah","html_url":"https://github.com/PeterBorah","followers_url":"https://api.github.com/users/PeterBorah/followers","following_url":"https://api.github.com/users/PeterBorah/following{/other_user}","gists_url":"https://api.github.com/users/PeterBorah/gists{/gist_id}","starred_url":"https://api.github.com/users/PeterBorah/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PeterBorah/subscriptions","organizations_url":"https://api.github.com/users/PeterBorah/orgs","repos_url":"https://api.github.com/users/PeterBorah/repos","events_url":"https://api.github.com/users/PeterBorah/events{/privacy}","received_events_url":"https://api.github.com/users/PeterBorah/received_events","type":"User","site_admin":false},"repo":{"id":61681087,"name":"smart-contract-security-examples","full_name":"PeterBorah/smart-contract-security-examples","owner":{"login":"PeterBorah","id":2374327,"avatar_url":"https://avatars.githubusercontent.com/u/2374327?v=3","gravatar_id":"","url":"https://api.github.com/users/PeterBorah","html_url":"https://github.com/PeterBorah","followers_url":"https://api.github.com/users/PeterBorah/followers","following_url":"https://api.github.com/users/PeterBorah/following{/other_user}","gists_url":"https://api.github.com/users/PeterBorah/gists{/gist_id}","starred_url":"https://api.github.com/users/PeterBorah/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PeterBorah/subscriptions","organizations_url":"https://api.github.com/users/PeterBorah/orgs","repos_url":"https://api.github.com/users/PeterBorah/repos","events_url":"https://api.github.com/users/PeterBorah/events{/privacy}","received_events_url":"https://api.github.com/users/PeterBorah/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/PeterBorah/smart-contract-security-examples","description":"Some example patterns for building fault-tolerant Ethereum smart contracts","fork":false,"url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples","forks_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/forks","keys_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/teams","hooks_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/hooks","issue_events_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/issues/events{/number}","events_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/events","assignees_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/assignees{/user}","branches_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/branches{/branch}","tags_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/tags","blobs_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/git/refs{/sha}","trees_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/statuses/{sha}","languages_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/languages","stargazers_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/stargazers","contributors_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/contributors","subscribers_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/subscribers","subscription_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/subscription","commits_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/commits{/sha}","git_commits_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/git/commits{/sha}","comments_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/comments{/number}","issue_comment_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/issues/comments{/number}","contents_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/contents/{+path}","compare_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/merges","archive_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/downloads","issues_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/issues{/number}","pulls_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls{/number}","milestones_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/milestones{/number}","notifications_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/labels{/name}","releases_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/releases{/id}","deployments_url":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/deployments","created_at":"2016-06-22T02:02:44Z","updated_at":"2016-07-17T05:48:37Z","pushed_at":"2016-07-12T18:25:37Z","git_url":"git://github.com/PeterBorah/smart-contract-security-examples.git","ssh_url":"git@github.com:PeterBorah/smart-contract-security-examples.git","clone_url":"https://github.com/PeterBorah/smart-contract-security-examples.git","svn_url":"https://github.com/PeterBorah/smart-contract-security-examples","homepage":null,"size":23,"stargazers_count":9,"watchers_count":9,"language":"JavaScript","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":3,"mirror_url":null,"open_issues_count":3,"forks":3,"open_issues":3,"watchers":9,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/5"},"html":{"href":"https://github.com/PeterBorah/smart-contract-security-examples/pull/5"},"issue":{"href":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/issues/5"},"comments":{"href":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/issues/5/comments"},"review_comments":{"href":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/5/comments"},"review_comment":{"href":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/pulls/5/commits"},"statuses":{"href":"https://api.github.com/repos/PeterBorah/smart-contract-security-examples/statuses/b09e951cd0296ed37cb5a6a75b9fa17a432c7768"}},"merged":false,"mergeable":null,"mergeable_state":"unknown","merged_by":null,"comments":0,"review_comments":0,"commits":1,"additions":2,"deletions":0,"changed_files":1}}
{"actor":{"display_login":"ethers"}}