{"action":"opened","number":422,"pull_request":{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/422","id":210267425,"node_id":"MDExOlB1bGxSZXF1ZXN0MjEwMjY3NDI1","html_url":"https://github.com/mit-plv/fiat-crypto/pull/422","diff_url":"https://github.com/mit-plv/fiat-crypto/pull/422.diff","patch_url":"https://github.com/mit-plv/fiat-crypto/pull/422.patch","issue_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/422","number":422,"state":"open","locked":false,"title":"Add Z.land, Z.lor bounds stuff to zutil","user":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"body":"Also split up ZUtil a bit more","created_at":"2018-08-22T21:17:37Z","updated_at":"2018-08-22T21:17:37Z","closed_at":null,"merged_at":null,"merge_commit_sha":null,"assignee":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"assignees":[{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false}],"requested_reviewers":[],"requested_teams":[],"labels":[{"id":401987203,"node_id":"MDU6TGFiZWw0MDE5ODcyMDM=","url":"https://api.github.com/repos/mit-plv/fiat-crypto/labels/awaiting-author-action","name":"awaiting-author-action","color":"f9d0c4","default":false},{"id":419548356,"node_id":"MDU6TGFiZWw0MTk1NDgzNTY=","url":"https://api.github.com/repos/mit-plv/fiat-crypto/labels/awaiting-continuous-integration-check","name":"awaiting-continuous-integration-check","color":"fef2c0","default":false}],"milestone":{"url":"https://api.github.com/repos/mit-plv/fiat-crypto/milestones/2","html_url":"https://github.com/mit-plv/fiat-crypto/milestone/2","labels_url":"https://api.github.com/repos/mit-plv/fiat-crypto/milestones/2/labels","id":1861338,"node_id":"MDk6TWlsZXN0b25lMTg2MTMzOA==","number":2,"title":"Technical Debt Repayment","description":"The milestone for reworking quick fixes, and giving back to the Coq community by reporting or fixing bugs in Coq.","creator":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"open_issues":4,"closed_issues":7,"state":"open","created_at":"2016-07-02T17:02:58Z","updated_at":"2018-08-22T21:17:38Z","due_on":null,"closed_at":null},"commits_url":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/422/commits","review_comments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/422/comments","review_comment_url":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/comments{/number}","comments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/422/comments","statuses_url":"https://api.github.com/repos/mit-plv/fiat-crypto/statuses/608685a4db653efc046a5213cf854705e2fb0d09","head":{"label":"JasonGross:land-lor-zutil","ref":"land-lor-zutil","sha":"608685a4db653efc046a5213cf854705e2fb0d09","user":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"repo":{"id":61231032,"node_id":"MDEwOlJlcG9zaXRvcnk2MTIzMTAzMg==","name":"fiat-crypto","full_name":"JasonGross/fiat-crypto","owner":{"login":"JasonGross","id":396076,"node_id":"MDQ6VXNlcjM5NjA3Ng==","avatar_url":"https://avatars0.githubusercontent.com/u/396076?v=4","gravatar_id":"","url":"https://api.github.com/users/JasonGross","html_url":"https://github.com/JasonGross","followers_url":"https://api.github.com/users/JasonGross/followers","following_url":"https://api.github.com/users/JasonGross/following{/other_user}","gists_url":"https://api.github.com/users/JasonGross/gists{/gist_id}","starred_url":"https://api.github.com/users/JasonGross/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JasonGross/subscriptions","organizations_url":"https://api.github.com/users/JasonGross/orgs","repos_url":"https://api.github.com/users/JasonGross/repos","events_url":"https://api.github.com/users/JasonGross/events{/privacy}","received_events_url":"https://api.github.com/users/JasonGross/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/JasonGross/fiat-crypto","description":"Cryptographic Primitive Code Generation in Fiat","fork":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto","forks_url":"https://api.github.com/repos/JasonGross/fiat-crypto/forks","keys_url":"https://api.github.com/repos/JasonGross/fiat-crypto/keys{/key_id}","collaborators_url":"https://api.github.com/repos/JasonGross/fiat-crypto/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/JasonGross/fiat-crypto/teams","hooks_url":"https://api.github.com/repos/JasonGross/fiat-crypto/hooks","issue_events_url":"https://api.github.com/repos/JasonGross/fiat-crypto/issues/events{/number}","events_url":"https://api.github.com/repos/JasonGross/fiat-crypto/events","assignees_url":"https://api.github.com/repos/JasonGross/fiat-crypto/assignees{/user}","branches_url":"https://api.github.com/repos/JasonGross/fiat-crypto/branches{/branch}","tags_url":"https://api.github.com/repos/JasonGross/fiat-crypto/tags","blobs_url":"https://api.github.com/repos/JasonGross/fiat-crypto/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/JasonGross/fiat-crypto/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/JasonGross/fiat-crypto/git/refs{/sha}","trees_url":"https://api.github.com/repos/JasonGross/fiat-crypto/git/trees{/sha}","statuses_url":"https://api.github.com/repos/JasonGross/fiat-crypto/statuses/{sha}","languages_url":"https://api.github.com/repos/JasonGross/fiat-crypto/languages","stargazers_url":"https://api.github.com/repos/JasonGross/fiat-crypto/stargazers","contributors_url":"https://api.github.com/repos/JasonGross/fiat-crypto/contributors","subscribers_url":"https://api.github.com/repos/JasonGross/fiat-crypto/subscribers","subscription_url":"https://api.github.com/repos/JasonGross/fiat-crypto/subscription","commits_url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits{/sha}","git_commits_url":"https://api.github.com/repos/JasonGross/fiat-crypto/git/commits{/sha}","comments_url":"https://api.github.com/repos/JasonGross/fiat-crypto/comments{/number}","issue_comment_url":"https://api.github.com/repos/JasonGross/fiat-crypto/issues/comments{/number}","contents_url":"https://api.github.com/repos/JasonGross/fiat-crypto/contents/{+path}","compare_url":"https://api.github.com/repos/JasonGross/fiat-crypto/compare/{base}...{head}","merges_url":"https://api.github.com/repos/JasonGross/fiat-crypto/merges","archive_url":"https://api.github.com/repos/JasonGross/fiat-crypto/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/JasonGross/fiat-crypto/downloads","issues_url":"https://api.github.com/repos/JasonGross/fiat-crypto/issues{/number}","pulls_url":"https://api.github.com/repos/JasonGross/fiat-crypto/pulls{/number}","milestones_url":"https://api.github.com/repos/JasonGross/fiat-crypto/milestones{/number}","notifications_url":"https://api.github.com/repos/JasonGross/fiat-crypto/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/JasonGross/fiat-crypto/labels{/name}","releases_url":"https://api.github.com/repos/JasonGross/fiat-crypto/releases{/id}","deployments_url":"https://api.github.com/repos/JasonGross/fiat-crypto/deployments","created_at":"2016-06-15T18:28:56Z","updated_at":"2018-08-22T18:23:58Z","pushed_at":"2018-08-22T21:17:13Z","git_url":"git://github.com/JasonGross/fiat-crypto.git","ssh_url":"git@github.com:JasonGross/fiat-crypto.git","clone_url":"https://github.com/JasonGross/fiat-crypto.git","svn_url":"https://github.com/JasonGross/fiat-crypto","homepage":null,"size":43494,"stargazers_count":0,"watchers_count":0,"language":"Coq","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"mit-plv:master","ref":"master","sha":"23fe5603fbb66fcc3f505494c4b00df506a0ae74","user":{"login":"mit-plv","id":11860253,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExODYwMjUz","avatar_url":"https://avatars3.githubusercontent.com/u/11860253?v=4","gravatar_id":"","url":"https://api.github.com/users/mit-plv","html_url":"https://github.com/mit-plv","followers_url":"https://api.github.com/users/mit-plv/followers","following_url":"https://api.github.com/users/mit-plv/following{/other_user}","gists_url":"https://api.github.com/users/mit-plv/gists{/gist_id}","starred_url":"https://api.github.com/users/mit-plv/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mit-plv/subscriptions","organizations_url":"https://api.github.com/users/mit-plv/orgs","repos_url":"https://api.github.com/users/mit-plv/repos","events_url":"https://api.github.com/users/mit-plv/events{/privacy}","received_events_url":"https://api.github.com/users/mit-plv/received_events","type":"Organization","site_admin":false},"repo":{"id":42269036,"node_id":"MDEwOlJlcG9zaXRvcnk0MjI2OTAzNg==","name":"fiat-crypto","full_name":"mit-plv/fiat-crypto","owner":{"login":"mit-plv","id":11860253,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExODYwMjUz","avatar_url":"https://avatars3.githubusercontent.com/u/11860253?v=4","gravatar_id":"","url":"https://api.github.com/users/mit-plv","html_url":"https://github.com/mit-plv","followers_url":"https://api.github.com/users/mit-plv/followers","following_url":"https://api.github.com/users/mit-plv/following{/other_user}","gists_url":"https://api.github.com/users/mit-plv/gists{/gist_id}","starred_url":"https://api.github.com/users/mit-plv/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mit-plv/subscriptions","organizations_url":"https://api.github.com/users/mit-plv/orgs","repos_url":"https://api.github.com/users/mit-plv/repos","events_url":"https://api.github.com/users/mit-plv/events{/privacy}","received_events_url":"https://api.github.com/users/mit-plv/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/mit-plv/fiat-crypto","description":"Cryptographic Primitive Code Generation by Fiat","fork":false,"url":"https://api.github.com/repos/mit-plv/fiat-crypto","forks_url":"https://api.github.com/repos/mit-plv/fiat-crypto/forks","keys_url":"https://api.github.com/repos/mit-plv/fiat-crypto/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mit-plv/fiat-crypto/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mit-plv/fiat-crypto/teams","hooks_url":"https://api.github.com/repos/mit-plv/fiat-crypto/hooks","issue_events_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/events{/number}","events_url":"https://api.github.com/repos/mit-plv/fiat-crypto/events","assignees_url":"https://api.github.com/repos/mit-plv/fiat-crypto/assignees{/user}","branches_url":"https://api.github.com/repos/mit-plv/fiat-crypto/branches{/branch}","tags_url":"https://api.github.com/repos/mit-plv/fiat-crypto/tags","blobs_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/refs{/sha}","trees_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mit-plv/fiat-crypto/statuses/{sha}","languages_url":"https://api.github.com/repos/mit-plv/fiat-crypto/languages","stargazers_url":"https://api.github.com/repos/mit-plv/fiat-crypto/stargazers","contributors_url":"https://api.github.com/repos/mit-plv/fiat-crypto/contributors","subscribers_url":"https://api.github.com/repos/mit-plv/fiat-crypto/subscribers","subscription_url":"https://api.github.com/repos/mit-plv/fiat-crypto/subscription","commits_url":"https://api.github.com/repos/mit-plv/fiat-crypto/commits{/sha}","git_commits_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/commits{/sha}","comments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/comments{/number}","issue_comment_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/comments{/number}","contents_url":"https://api.github.com/repos/mit-plv/fiat-crypto/contents/{+path}","compare_url":"https://api.github.com/repos/mit-plv/fiat-crypto/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mit-plv/fiat-crypto/merges","archive_url":"https://api.github.com/repos/mit-plv/fiat-crypto/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mit-plv/fiat-crypto/downloads","issues_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues{/number}","pulls_url":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls{/number}","milestones_url":"https://api.github.com/repos/mit-plv/fiat-crypto/milestones{/number}","notifications_url":"https://api.github.com/repos/mit-plv/fiat-crypto/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mit-plv/fiat-crypto/labels{/name}","releases_url":"https://api.github.com/repos/mit-plv/fiat-crypto/releases{/id}","deployments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/deployments","created_at":"2015-09-10T20:29:16Z","updated_at":"2018-08-21T21:10:27Z","pushed_at":"2018-08-21T21:10:24Z","git_url":"git://github.com/mit-plv/fiat-crypto.git","ssh_url":"git@github.com:mit-plv/fiat-crypto.git","clone_url":"https://github.com/mit-plv/fiat-crypto.git","svn_url":"https://github.com/mit-plv/fiat-crypto","homepage":"","size":28410,"stargazers_count":89,"watchers_count":89,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":21,"mirror_url":null,"archived":false,"open_issues_count":40,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"forks":21,"open_issues":40,"watchers":89,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/422"},"html":{"href":"https://github.com/mit-plv/fiat-crypto/pull/422"},"issue":{"href":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/422"},"comments":{"href":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/422/comments"},"review_comments":{"href":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/422/comments"},"review_comment":{"href":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls/422/commits"},"statuses":{"href":"https://api.github.com/repos/mit-plv/fiat-crypto/statuses/608685a4db653efc046a5213cf854705e2fb0d09"}},"author_association":"MEMBER","merged":false,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":null,"comments":0,"review_comments":0,"maintainer_can_modify":true,"commits":1,"additions":1163,"deletions":861,"changed_files":25}}
{"actor":{"display_login":"JasonGross"}}