{"action":"closed","number":174,"pull_request":{"url":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/174","id":120811522,"html_url":"https://github.com/ultimate-pa/ultimate/pull/174","diff_url":"https://github.com/ultimate-pa/ultimate/pull/174.diff","patch_url":"https://github.com/ultimate-pa/ultimate/pull/174.patch","issue_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/174","number":174,"state":"closed","locked":false,"title":"Decreased Interactive Footprint and improved Strategy Selection","user":{"login":"IARI","id":1053417,"avatar_url":"https://avatars2.githubusercontent.com/u/1053417?v=3","gravatar_id":"","url":"https://api.github.com/users/IARI","html_url":"https://github.com/IARI","followers_url":"https://api.github.com/users/IARI/followers","following_url":"https://api.github.com/users/IARI/following{/other_user}","gists_url":"https://api.github.com/users/IARI/gists{/gist_id}","starred_url":"https://api.github.com/users/IARI/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IARI/subscriptions","organizations_url":"https://api.github.com/users/IARI/orgs","repos_url":"https://api.github.com/users/IARI/repos","events_url":"https://api.github.com/users/IARI/events{/privacy}","received_events_url":"https://api.github.com/users/IARI/received_events","type":"User","site_admin":false},"body":"The name of commits that touch TA Files ends with with (TAFiles)","created_at":"2017-05-16T12:11:54Z","updated_at":"2017-05-16T12:13:30Z","closed_at":"2017-05-16T12:13:30Z","merged_at":null,"merge_commit_sha":"fe08953a612c9878707b2aa1640c8562fad9c36e","assignee":null,"assignees":[],"requested_reviewers":[{"login":"danieldietsch","id":3883391,"avatar_url":"https://avatars3.githubusercontent.com/u/3883391?v=3","gravatar_id":"","url":"https://api.github.com/users/danieldietsch","html_url":"https://github.com/danieldietsch","followers_url":"https://api.github.com/users/danieldietsch/followers","following_url":"https://api.github.com/users/danieldietsch/following{/other_user}","gists_url":"https://api.github.com/users/danieldietsch/gists{/gist_id}","starred_url":"https://api.github.com/users/danieldietsch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danieldietsch/subscriptions","organizations_url":"https://api.github.com/users/danieldietsch/orgs","repos_url":"https://api.github.com/users/danieldietsch/repos","events_url":"https://api.github.com/users/danieldietsch/events{/privacy}","received_events_url":"https://api.github.com/users/danieldietsch/received_events","type":"User","site_admin":false}],"milestone":null,"commits_url":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/174/commits","review_comments_url":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/174/comments","review_comment_url":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/comments{/number}","comments_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/174/comments","statuses_url":"https://api.github.com/repos/ultimate-pa/ultimate/statuses/1f1ac2f076e37d3bb829d68a7523faf1d912f9de","head":{"label":"IARI:dev","ref":"dev","sha":"1f1ac2f076e37d3bb829d68a7523faf1d912f9de","user":{"login":"IARI","id":1053417,"avatar_url":"https://avatars2.githubusercontent.com/u/1053417?v=3","gravatar_id":"","url":"https://api.github.com/users/IARI","html_url":"https://github.com/IARI","followers_url":"https://api.github.com/users/IARI/followers","following_url":"https://api.github.com/users/IARI/following{/other_user}","gists_url":"https://api.github.com/users/IARI/gists{/gist_id}","starred_url":"https://api.github.com/users/IARI/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IARI/subscriptions","organizations_url":"https://api.github.com/users/IARI/orgs","repos_url":"https://api.github.com/users/IARI/repos","events_url":"https://api.github.com/users/IARI/events{/privacy}","received_events_url":"https://api.github.com/users/IARI/received_events","type":"User","site_admin":false},"repo":{"id":61125834,"name":"ultimate","full_name":"IARI/ultimate","owner":{"login":"IARI","id":1053417,"avatar_url":"https://avatars2.githubusercontent.com/u/1053417?v=3","gravatar_id":"","url":"https://api.github.com/users/IARI","html_url":"https://github.com/IARI","followers_url":"https://api.github.com/users/IARI/followers","following_url":"https://api.github.com/users/IARI/following{/other_user}","gists_url":"https://api.github.com/users/IARI/gists{/gist_id}","starred_url":"https://api.github.com/users/IARI/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IARI/subscriptions","organizations_url":"https://api.github.com/users/IARI/orgs","repos_url":"https://api.github.com/users/IARI/repos","events_url":"https://api.github.com/users/IARI/events{/privacy}","received_events_url":"https://api.github.com/users/IARI/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/IARI/ultimate","description":null,"fork":true,"url":"https://api.github.com/repos/IARI/ultimate","forks_url":"https://api.github.com/repos/IARI/ultimate/forks","keys_url":"https://api.github.com/repos/IARI/ultimate/keys{/key_id}","collaborators_url":"https://api.github.com/repos/IARI/ultimate/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/IARI/ultimate/teams","hooks_url":"https://api.github.com/repos/IARI/ultimate/hooks","issue_events_url":"https://api.github.com/repos/IARI/ultimate/issues/events{/number}","events_url":"https://api.github.com/repos/IARI/ultimate/events","assignees_url":"https://api.github.com/repos/IARI/ultimate/assignees{/user}","branches_url":"https://api.github.com/repos/IARI/ultimate/branches{/branch}","tags_url":"https://api.github.com/repos/IARI/ultimate/tags","blobs_url":"https://api.github.com/repos/IARI/ultimate/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/IARI/ultimate/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/IARI/ultimate/git/refs{/sha}","trees_url":"https://api.github.com/repos/IARI/ultimate/git/trees{/sha}","statuses_url":"https://api.github.com/repos/IARI/ultimate/statuses/{sha}","languages_url":"https://api.github.com/repos/IARI/ultimate/languages","stargazers_url":"https://api.github.com/repos/IARI/ultimate/stargazers","contributors_url":"https://api.github.com/repos/IARI/ultimate/contributors","subscribers_url":"https://api.github.com/repos/IARI/ultimate/subscribers","subscription_url":"https://api.github.com/repos/IARI/ultimate/subscription","commits_url":"https://api.github.com/repos/IARI/ultimate/commits{/sha}","git_commits_url":"https://api.github.com/repos/IARI/ultimate/git/commits{/sha}","comments_url":"https://api.github.com/repos/IARI/ultimate/comments{/number}","issue_comment_url":"https://api.github.com/repos/IARI/ultimate/issues/comments{/number}","contents_url":"https://api.github.com/repos/IARI/ultimate/contents/{+path}","compare_url":"https://api.github.com/repos/IARI/ultimate/compare/{base}...{head}","merges_url":"https://api.github.com/repos/IARI/ultimate/merges","archive_url":"https://api.github.com/repos/IARI/ultimate/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/IARI/ultimate/downloads","issues_url":"https://api.github.com/repos/IARI/ultimate/issues{/number}","pulls_url":"https://api.github.com/repos/IARI/ultimate/pulls{/number}","milestones_url":"https://api.github.com/repos/IARI/ultimate/milestones{/number}","notifications_url":"https://api.github.com/repos/IARI/ultimate/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/IARI/ultimate/labels{/name}","releases_url":"https://api.github.com/repos/IARI/ultimate/releases{/id}","deployments_url":"https://api.github.com/repos/IARI/ultimate/deployments","created_at":"2016-06-14T13:39:49Z","updated_at":"2017-03-03T01:47:21Z","pushed_at":"2017-05-16T12:10:16Z","git_url":"git://github.com/IARI/ultimate.git","ssh_url":"git@github.com:IARI/ultimate.git","clone_url":"https://github.com/IARI/ultimate.git","svn_url":"https://github.com/IARI/ultimate","homepage":"https://ultimate.informatik.uni-freiburg.de","size":324782,"stargazers_count":0,"watchers_count":0,"language":"C","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":8,"forks":0,"open_issues":8,"watchers":0,"default_branch":"dev"}},"base":{"label":"ultimate-pa:dev","ref":"dev","sha":"20b25865391d09d1e3022376b684313faacf2e6f","user":{"login":"ultimate-pa","id":13460489,"avatar_url":"https://avatars2.githubusercontent.com/u/13460489?v=3","gravatar_id":"","url":"https://api.github.com/users/ultimate-pa","html_url":"https://github.com/ultimate-pa","followers_url":"https://api.github.com/users/ultimate-pa/followers","following_url":"https://api.github.com/users/ultimate-pa/following{/other_user}","gists_url":"https://api.github.com/users/ultimate-pa/gists{/gist_id}","starred_url":"https://api.github.com/users/ultimate-pa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ultimate-pa/subscriptions","organizations_url":"https://api.github.com/users/ultimate-pa/orgs","repos_url":"https://api.github.com/users/ultimate-pa/repos","events_url":"https://api.github.com/users/ultimate-pa/events{/privacy}","received_events_url":"https://api.github.com/users/ultimate-pa/received_events","type":"Organization","site_admin":false},"repo":{"id":42260199,"name":"ultimate","full_name":"ultimate-pa/ultimate","owner":{"login":"ultimate-pa","id":13460489,"avatar_url":"https://avatars2.githubusercontent.com/u/13460489?v=3","gravatar_id":"","url":"https://api.github.com/users/ultimate-pa","html_url":"https://github.com/ultimate-pa","followers_url":"https://api.github.com/users/ultimate-pa/followers","following_url":"https://api.github.com/users/ultimate-pa/following{/other_user}","gists_url":"https://api.github.com/users/ultimate-pa/gists{/gist_id}","starred_url":"https://api.github.com/users/ultimate-pa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ultimate-pa/subscriptions","organizations_url":"https://api.github.com/users/ultimate-pa/orgs","repos_url":"https://api.github.com/users/ultimate-pa/repos","events_url":"https://api.github.com/users/ultimate-pa/events{/privacy}","received_events_url":"https://api.github.com/users/ultimate-pa/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/ultimate-pa/ultimate","description":null,"fork":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate","forks_url":"https://api.github.com/repos/ultimate-pa/ultimate/forks","keys_url":"https://api.github.com/repos/ultimate-pa/ultimate/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ultimate-pa/ultimate/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ultimate-pa/ultimate/teams","hooks_url":"https://api.github.com/repos/ultimate-pa/ultimate/hooks","issue_events_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/events{/number}","events_url":"https://api.github.com/repos/ultimate-pa/ultimate/events","assignees_url":"https://api.github.com/repos/ultimate-pa/ultimate/assignees{/user}","branches_url":"https://api.github.com/repos/ultimate-pa/ultimate/branches{/branch}","tags_url":"https://api.github.com/repos/ultimate-pa/ultimate/tags","blobs_url":"https://api.github.com/repos/ultimate-pa/ultimate/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ultimate-pa/ultimate/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ultimate-pa/ultimate/git/refs{/sha}","trees_url":"https://api.github.com/repos/ultimate-pa/ultimate/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ultimate-pa/ultimate/statuses/{sha}","languages_url":"https://api.github.com/repos/ultimate-pa/ultimate/languages","stargazers_url":"https://api.github.com/repos/ultimate-pa/ultimate/stargazers","contributors_url":"https://api.github.com/repos/ultimate-pa/ultimate/contributors","subscribers_url":"https://api.github.com/repos/ultimate-pa/ultimate/subscribers","subscription_url":"https://api.github.com/repos/ultimate-pa/ultimate/subscription","commits_url":"https://api.github.com/repos/ultimate-pa/ultimate/commits{/sha}","git_commits_url":"https://api.github.com/repos/ultimate-pa/ultimate/git/commits{/sha}","comments_url":"https://api.github.com/repos/ultimate-pa/ultimate/comments{/number}","issue_comment_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/comments{/number}","contents_url":"https://api.github.com/repos/ultimate-pa/ultimate/contents/{+path}","compare_url":"https://api.github.com/repos/ultimate-pa/ultimate/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ultimate-pa/ultimate/merges","archive_url":"https://api.github.com/repos/ultimate-pa/ultimate/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ultimate-pa/ultimate/downloads","issues_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues{/number}","pulls_url":"https://api.github.com/repos/ultimate-pa/ultimate/pulls{/number}","milestones_url":"https://api.github.com/repos/ultimate-pa/ultimate/milestones{/number}","notifications_url":"https://api.github.com/repos/ultimate-pa/ultimate/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ultimate-pa/ultimate/labels{/name}","releases_url":"https://api.github.com/repos/ultimate-pa/ultimate/releases{/id}","deployments_url":"https://api.github.com/repos/ultimate-pa/ultimate/deployments","created_at":"2015-09-10T17:37:47Z","updated_at":"2017-05-08T20:38:38Z","pushed_at":"2017-05-16T12:11:55Z","git_url":"git://github.com/ultimate-pa/ultimate.git","ssh_url":"git@github.com:ultimate-pa/ultimate.git","clone_url":"https://github.com/ultimate-pa/ultimate.git","svn_url":"https://github.com/ultimate-pa/ultimate","homepage":"https://ultimate.informatik.uni-freiburg.de","size":328659,"stargazers_count":23,"watchers_count":23,"language":"C","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":8,"mirror_url":null,"open_issues_count":82,"forks":8,"open_issues":82,"watchers":23,"default_branch":"dev"}},"_links":{"self":{"href":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/174"},"html":{"href":"https://github.com/ultimate-pa/ultimate/pull/174"},"issue":{"href":"https://api.github.com/repos/ultimate-pa/ultimate/issues/174"},"comments":{"href":"https://api.github.com/repos/ultimate-pa/ultimate/issues/174/comments"},"review_comments":{"href":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/174/comments"},"review_comment":{"href":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/ultimate-pa/ultimate/pulls/174/commits"},"statuses":{"href":"https://api.github.com/repos/ultimate-pa/ultimate/statuses/1f1ac2f076e37d3bb829d68a7523faf1d912f9de"}},"merged":false,"mergeable":true,"rebaseable":false,"mergeable_state":"unstable","merged_by":null,"comments":1,"review_comments":0,"maintainer_can_modify":false,"commits":217,"additions":2940,"deletions":4876,"changed_files":23}}
{"actor":{"display_login":"IARI"}}