{"action":"opened","number":33,"pull_request":{"url":"https://api.github.com/repos/niklasso/minisat/pulls/33","id":215547870,"node_id":"MDExOlB1bGxSZXF1ZXN0MjE1NTQ3ODcw","html_url":"https://github.com/niklasso/minisat/pull/33","diff_url":"https://github.com/niklasso/minisat/pull/33.diff","patch_url":"https://github.com/niklasso/minisat/pull/33.patch","issue_url":"https://api.github.com/repos/niklasso/minisat/issues/33","number":33,"state":"open","locked":false,"title":"fix c++11 std compliance","user":{"login":"Udopia","id":5645870,"node_id":"MDQ6VXNlcjU2NDU4NzA=","avatar_url":"https://avatars1.githubusercontent.com/u/5645870?v=4","gravatar_id":"","url":"https://api.github.com/users/Udopia","html_url":"https://github.com/Udopia","followers_url":"https://api.github.com/users/Udopia/followers","following_url":"https://api.github.com/users/Udopia/following{/other_user}","gists_url":"https://api.github.com/users/Udopia/gists{/gist_id}","starred_url":"https://api.github.com/users/Udopia/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Udopia/subscriptions","organizations_url":"https://api.github.com/users/Udopia/orgs","repos_url":"https://api.github.com/users/Udopia/repos","events_url":"https://api.github.com/users/Udopia/events{/privacy}","received_events_url":"https://api.github.com/users/Udopia/received_events","type":"User","site_admin":false},"body":"Omitting the whitespace around 'PRIu64' on some systems causes build errors in projects using libminisat when building with std=c++11","created_at":"2018-09-14T10:18:22Z","updated_at":"2018-09-14T10:18:22Z","closed_at":null,"merged_at":null,"merge_commit_sha":null,"assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/niklasso/minisat/pulls/33/commits","review_comments_url":"https://api.github.com/repos/niklasso/minisat/pulls/33/comments","review_comment_url":"https://api.github.com/repos/niklasso/minisat/pulls/comments{/number}","comments_url":"https://api.github.com/repos/niklasso/minisat/issues/33/comments","statuses_url":"https://api.github.com/repos/niklasso/minisat/statuses/00ee238bcb51d71f2c8a2f11c83e181c42df889b","head":{"label":"Udopia:master","ref":"master","sha":"00ee238bcb51d71f2c8a2f11c83e181c42df889b","user":{"login":"Udopia","id":5645870,"node_id":"MDQ6VXNlcjU2NDU4NzA=","avatar_url":"https://avatars1.githubusercontent.com/u/5645870?v=4","gravatar_id":"","url":"https://api.github.com/users/Udopia","html_url":"https://github.com/Udopia","followers_url":"https://api.github.com/users/Udopia/followers","following_url":"https://api.github.com/users/Udopia/following{/other_user}","gists_url":"https://api.github.com/users/Udopia/gists{/gist_id}","starred_url":"https://api.github.com/users/Udopia/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Udopia/subscriptions","organizations_url":"https://api.github.com/users/Udopia/orgs","repos_url":"https://api.github.com/users/Udopia/repos","events_url":"https://api.github.com/users/Udopia/events{/privacy}","received_events_url":"https://api.github.com/users/Udopia/received_events","type":"User","site_admin":false},"repo":{"id":148769872,"node_id":"MDEwOlJlcG9zaXRvcnkxNDg3Njk4NzI=","name":"minisat","full_name":"Udopia/minisat","owner":{"login":"Udopia","id":5645870,"node_id":"MDQ6VXNlcjU2NDU4NzA=","avatar_url":"https://avatars1.githubusercontent.com/u/5645870?v=4","gravatar_id":"","url":"https://api.github.com/users/Udopia","html_url":"https://github.com/Udopia","followers_url":"https://api.github.com/users/Udopia/followers","following_url":"https://api.github.com/users/Udopia/following{/other_user}","gists_url":"https://api.github.com/users/Udopia/gists{/gist_id}","starred_url":"https://api.github.com/users/Udopia/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Udopia/subscriptions","organizations_url":"https://api.github.com/users/Udopia/orgs","repos_url":"https://api.github.com/users/Udopia/repos","events_url":"https://api.github.com/users/Udopia/events{/privacy}","received_events_url":"https://api.github.com/users/Udopia/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/Udopia/minisat","description":"A minimalistic and high-performance SAT solver","fork":true,"url":"https://api.github.com/repos/Udopia/minisat","forks_url":"https://api.github.com/repos/Udopia/minisat/forks","keys_url":"https://api.github.com/repos/Udopia/minisat/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Udopia/minisat/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Udopia/minisat/teams","hooks_url":"https://api.github.com/repos/Udopia/minisat/hooks","issue_events_url":"https://api.github.com/repos/Udopia/minisat/issues/events{/number}","events_url":"https://api.github.com/repos/Udopia/minisat/events","assignees_url":"https://api.github.com/repos/Udopia/minisat/assignees{/user}","branches_url":"https://api.github.com/repos/Udopia/minisat/branches{/branch}","tags_url":"https://api.github.com/repos/Udopia/minisat/tags","blobs_url":"https://api.github.com/repos/Udopia/minisat/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Udopia/minisat/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Udopia/minisat/git/refs{/sha}","trees_url":"https://api.github.com/repos/Udopia/minisat/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Udopia/minisat/statuses/{sha}","languages_url":"https://api.github.com/repos/Udopia/minisat/languages","stargazers_url":"https://api.github.com/repos/Udopia/minisat/stargazers","contributors_url":"https://api.github.com/repos/Udopia/minisat/contributors","subscribers_url":"https://api.github.com/repos/Udopia/minisat/subscribers","subscription_url":"https://api.github.com/repos/Udopia/minisat/subscription","commits_url":"https://api.github.com/repos/Udopia/minisat/commits{/sha}","git_commits_url":"https://api.github.com/repos/Udopia/minisat/git/commits{/sha}","comments_url":"https://api.github.com/repos/Udopia/minisat/comments{/number}","issue_comment_url":"https://api.github.com/repos/Udopia/minisat/issues/comments{/number}","contents_url":"https://api.github.com/repos/Udopia/minisat/contents/{+path}","compare_url":"https://api.github.com/repos/Udopia/minisat/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Udopia/minisat/merges","archive_url":"https://api.github.com/repos/Udopia/minisat/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Udopia/minisat/downloads","issues_url":"https://api.github.com/repos/Udopia/minisat/issues{/number}","pulls_url":"https://api.github.com/repos/Udopia/minisat/pulls{/number}","milestones_url":"https://api.github.com/repos/Udopia/minisat/milestones{/number}","notifications_url":"https://api.github.com/repos/Udopia/minisat/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Udopia/minisat/labels{/name}","releases_url":"https://api.github.com/repos/Udopia/minisat/releases{/id}","deployments_url":"https://api.github.com/repos/Udopia/minisat/deployments","created_at":"2018-09-14T09:53:58Z","updated_at":"2018-09-14T10:04:24Z","pushed_at":"2018-09-14T10:04:22Z","git_url":"git://github.com/Udopia/minisat.git","ssh_url":"git@github.com:Udopia/minisat.git","clone_url":"https://github.com/Udopia/minisat.git","svn_url":"https://github.com/Udopia/minisat","homepage":"minisat.se","size":610,"stargazers_count":0,"watchers_count":0,"language":"C++","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":"other","name":"Other","spdx_id":null,"url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"niklasso:master","ref":"master","sha":"37dc6c67e2af26379d88ce349eb9c4c6160e8543","user":{"login":"niklasso","id":123898,"node_id":"MDQ6VXNlcjEyMzg5OA==","avatar_url":"https://avatars2.githubusercontent.com/u/123898?v=4","gravatar_id":"","url":"https://api.github.com/users/niklasso","html_url":"https://github.com/niklasso","followers_url":"https://api.github.com/users/niklasso/followers","following_url":"https://api.github.com/users/niklasso/following{/other_user}","gists_url":"https://api.github.com/users/niklasso/gists{/gist_id}","starred_url":"https://api.github.com/users/niklasso/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/niklasso/subscriptions","organizations_url":"https://api.github.com/users/niklasso/orgs","repos_url":"https://api.github.com/users/niklasso/repos","events_url":"https://api.github.com/users/niklasso/events{/privacy}","received_events_url":"https://api.github.com/users/niklasso/received_events","type":"User","site_admin":false},"repo":{"id":299343,"node_id":"MDEwOlJlcG9zaXRvcnkyOTkzNDM=","name":"minisat","full_name":"niklasso/minisat","owner":{"login":"niklasso","id":123898,"node_id":"MDQ6VXNlcjEyMzg5OA==","avatar_url":"https://avatars2.githubusercontent.com/u/123898?v=4","gravatar_id":"","url":"https://api.github.com/users/niklasso","html_url":"https://github.com/niklasso","followers_url":"https://api.github.com/users/niklasso/followers","following_url":"https://api.github.com/users/niklasso/following{/other_user}","gists_url":"https://api.github.com/users/niklasso/gists{/gist_id}","starred_url":"https://api.github.com/users/niklasso/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/niklasso/subscriptions","organizations_url":"https://api.github.com/users/niklasso/orgs","repos_url":"https://api.github.com/users/niklasso/repos","events_url":"https://api.github.com/users/niklasso/events{/privacy}","received_events_url":"https://api.github.com/users/niklasso/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/niklasso/minisat","description":"A minimalistic and high-performance SAT solver","fork":false,"url":"https://api.github.com/repos/niklasso/minisat","forks_url":"https://api.github.com/repos/niklasso/minisat/forks","keys_url":"https://api.github.com/repos/niklasso/minisat/keys{/key_id}","collaborators_url":"https://api.github.com/repos/niklasso/minisat/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/niklasso/minisat/teams","hooks_url":"https://api.github.com/repos/niklasso/minisat/hooks","issue_events_url":"https://api.github.com/repos/niklasso/minisat/issues/events{/number}","events_url":"https://api.github.com/repos/niklasso/minisat/events","assignees_url":"https://api.github.com/repos/niklasso/minisat/assignees{/user}","branches_url":"https://api.github.com/repos/niklasso/minisat/branches{/branch}","tags_url":"https://api.github.com/repos/niklasso/minisat/tags","blobs_url":"https://api.github.com/repos/niklasso/minisat/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/niklasso/minisat/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/niklasso/minisat/git/refs{/sha}","trees_url":"https://api.github.com/repos/niklasso/minisat/git/trees{/sha}","statuses_url":"https://api.github.com/repos/niklasso/minisat/statuses/{sha}","languages_url":"https://api.github.com/repos/niklasso/minisat/languages","stargazers_url":"https://api.github.com/repos/niklasso/minisat/stargazers","contributors_url":"https://api.github.com/repos/niklasso/minisat/contributors","subscribers_url":"https://api.github.com/repos/niklasso/minisat/subscribers","subscription_url":"https://api.github.com/repos/niklasso/minisat/subscription","commits_url":"https://api.github.com/repos/niklasso/minisat/commits{/sha}","git_commits_url":"https://api.github.com/repos/niklasso/minisat/git/commits{/sha}","comments_url":"https://api.github.com/repos/niklasso/minisat/comments{/number}","issue_comment_url":"https://api.github.com/repos/niklasso/minisat/issues/comments{/number}","contents_url":"https://api.github.com/repos/niklasso/minisat/contents/{+path}","compare_url":"https://api.github.com/repos/niklasso/minisat/compare/{base}...{head}","merges_url":"https://api.github.com/repos/niklasso/minisat/merges","archive_url":"https://api.github.com/repos/niklasso/minisat/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/niklasso/minisat/downloads","issues_url":"https://api.github.com/repos/niklasso/minisat/issues{/number}","pulls_url":"https://api.github.com/repos/niklasso/minisat/pulls{/number}","milestones_url":"https://api.github.com/repos/niklasso/minisat/milestones{/number}","notifications_url":"https://api.github.com/repos/niklasso/minisat/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/niklasso/minisat/labels{/name}","releases_url":"https://api.github.com/repos/niklasso/minisat/releases{/id}","deployments_url":"https://api.github.com/repos/niklasso/minisat/deployments","created_at":"2009-09-06T19:02:00Z","updated_at":"2018-09-12T19:46:17Z","pushed_at":"2018-07-16T22:11:28Z","git_url":"git://github.com/niklasso/minisat.git","ssh_url":"git@github.com:niklasso/minisat.git","clone_url":"https://github.com/niklasso/minisat.git","svn_url":"https://github.com/niklasso/minisat","homepage":"minisat.se","size":610,"stargazers_count":453,"watchers_count":453,"language":"C++","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":170,"mirror_url":null,"archived":false,"open_issues_count":27,"license":{"key":"other","name":"Other","spdx_id":null,"url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":170,"open_issues":27,"watchers":453,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/niklasso/minisat/pulls/33"},"html":{"href":"https://github.com/niklasso/minisat/pull/33"},"issue":{"href":"https://api.github.com/repos/niklasso/minisat/issues/33"},"comments":{"href":"https://api.github.com/repos/niklasso/minisat/issues/33/comments"},"review_comments":{"href":"https://api.github.com/repos/niklasso/minisat/pulls/33/comments"},"review_comment":{"href":"https://api.github.com/repos/niklasso/minisat/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/niklasso/minisat/pulls/33/commits"},"statuses":{"href":"https://api.github.com/repos/niklasso/minisat/statuses/00ee238bcb51d71f2c8a2f11c83e181c42df889b"}},"author_association":"NONE","merged":false,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":null,"comments":0,"review_comments":0,"maintainer_can_modify":true,"commits":1,"additions":11,"deletions":8,"changed_files":3}}
{"actor":{"display_login":"Udopia"}}