{"action":"closed","number":127,"pull_request":{"url":"https://api.github.com/repos/ProofGeneral/PG/pulls/127","id":96455104,"html_url":"https://github.com/ProofGeneral/PG/pull/127","diff_url":"https://github.com/ProofGeneral/PG/pull/127.diff","patch_url":"https://github.com/ProofGeneral/PG/pull/127.patch","issue_url":"https://api.github.com/repos/ProofGeneral/PG/issues/127","number":127,"state":"closed","locked":false,"title":"A first pass at converting from CVS to git.","user":{"login":"zhenya1007","id":2647068,"avatar_url":"https://avatars.githubusercontent.com/u/2647068?v=3","gravatar_id":"","url":"https://api.github.com/users/zhenya1007","html_url":"https://github.com/zhenya1007","followers_url":"https://api.github.com/users/zhenya1007/followers","following_url":"https://api.github.com/users/zhenya1007/following{/other_user}","gists_url":"https://api.github.com/users/zhenya1007/gists{/gist_id}","starred_url":"https://api.github.com/users/zhenya1007/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zhenya1007/subscriptions","organizations_url":"https://api.github.com/users/zhenya1007/orgs","repos_url":"https://api.github.com/users/zhenya1007/repos","events_url":"https://api.github.com/users/zhenya1007/events{/privacy}","received_events_url":"https://api.github.com/users/zhenya1007/received_events","type":"User","site_admin":false},"body":"Just a quick pass over the Makefile, replacing usage of CVS commands\r\nwith (what I believe are) their approximate git equivalents.\r\n\r\nMy end goal is to have \"make pkg\" produce a fully-usable Emacs package.  It isn't quite there yet: after installing `ProofGeneral-20.tar` with `package-install-file`, doing `M-x locate-library proof-site` complains that it cannot find `proof-site`, so something needs to be fixed (also byte-compilation that runs at the package installation time generates a lot of errors and warnings).  Loading `proof-site.el` \"by hand\" does appear to \"make things work.\"\r\n\r\nRegardless of the issues with the package, I hope you can accept the conversion from CVS to git in Makefile.devel.","created_at":"2016-12-05T00:40:53Z","updated_at":"2016-12-31T19:23:39Z","closed_at":"2016-12-31T19:23:39Z","merged_at":"2016-12-31T19:23:39Z","merge_commit_sha":"8d405f342bb3a1903fc12184f78f191e7d84c29d","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/ProofGeneral/PG/pulls/127/commits","review_comments_url":"https://api.github.com/repos/ProofGeneral/PG/pulls/127/comments","review_comment_url":"https://api.github.com/repos/ProofGeneral/PG/pulls/comments{/number}","comments_url":"https://api.github.com/repos/ProofGeneral/PG/issues/127/comments","statuses_url":"https://api.github.com/repos/ProofGeneral/PG/statuses/dd9a878457cc887fd3c957964ccc830d3c4504fd","head":{"label":"zhenya1007:master","ref":"master","sha":"dd9a878457cc887fd3c957964ccc830d3c4504fd","user":{"login":"zhenya1007","id":2647068,"avatar_url":"https://avatars.githubusercontent.com/u/2647068?v=3","gravatar_id":"","url":"https://api.github.com/users/zhenya1007","html_url":"https://github.com/zhenya1007","followers_url":"https://api.github.com/users/zhenya1007/followers","following_url":"https://api.github.com/users/zhenya1007/following{/other_user}","gists_url":"https://api.github.com/users/zhenya1007/gists{/gist_id}","starred_url":"https://api.github.com/users/zhenya1007/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zhenya1007/subscriptions","organizations_url":"https://api.github.com/users/zhenya1007/orgs","repos_url":"https://api.github.com/users/zhenya1007/repos","events_url":"https://api.github.com/users/zhenya1007/events{/privacy}","received_events_url":"https://api.github.com/users/zhenya1007/received_events","type":"User","site_admin":false},"repo":{"id":75556884,"name":"PG","full_name":"zhenya1007/PG","owner":{"login":"zhenya1007","id":2647068,"avatar_url":"https://avatars.githubusercontent.com/u/2647068?v=3","gravatar_id":"","url":"https://api.github.com/users/zhenya1007","html_url":"https://github.com/zhenya1007","followers_url":"https://api.github.com/users/zhenya1007/followers","following_url":"https://api.github.com/users/zhenya1007/following{/other_user}","gists_url":"https://api.github.com/users/zhenya1007/gists{/gist_id}","starred_url":"https://api.github.com/users/zhenya1007/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zhenya1007/subscriptions","organizations_url":"https://api.github.com/users/zhenya1007/orgs","repos_url":"https://api.github.com/users/zhenya1007/repos","events_url":"https://api.github.com/users/zhenya1007/events{/privacy}","received_events_url":"https://api.github.com/users/zhenya1007/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/zhenya1007/PG","description":"This repo is the new home of Proof General","fork":true,"url":"https://api.github.com/repos/zhenya1007/PG","forks_url":"https://api.github.com/repos/zhenya1007/PG/forks","keys_url":"https://api.github.com/repos/zhenya1007/PG/keys{/key_id}","collaborators_url":"https://api.github.com/repos/zhenya1007/PG/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/zhenya1007/PG/teams","hooks_url":"https://api.github.com/repos/zhenya1007/PG/hooks","issue_events_url":"https://api.github.com/repos/zhenya1007/PG/issues/events{/number}","events_url":"https://api.github.com/repos/zhenya1007/PG/events","assignees_url":"https://api.github.com/repos/zhenya1007/PG/assignees{/user}","branches_url":"https://api.github.com/repos/zhenya1007/PG/branches{/branch}","tags_url":"https://api.github.com/repos/zhenya1007/PG/tags","blobs_url":"https://api.github.com/repos/zhenya1007/PG/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/zhenya1007/PG/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/zhenya1007/PG/git/refs{/sha}","trees_url":"https://api.github.com/repos/zhenya1007/PG/git/trees{/sha}","statuses_url":"https://api.github.com/repos/zhenya1007/PG/statuses/{sha}","languages_url":"https://api.github.com/repos/zhenya1007/PG/languages","stargazers_url":"https://api.github.com/repos/zhenya1007/PG/stargazers","contributors_url":"https://api.github.com/repos/zhenya1007/PG/contributors","subscribers_url":"https://api.github.com/repos/zhenya1007/PG/subscribers","subscription_url":"https://api.github.com/repos/zhenya1007/PG/subscription","commits_url":"https://api.github.com/repos/zhenya1007/PG/commits{/sha}","git_commits_url":"https://api.github.com/repos/zhenya1007/PG/git/commits{/sha}","comments_url":"https://api.github.com/repos/zhenya1007/PG/comments{/number}","issue_comment_url":"https://api.github.com/repos/zhenya1007/PG/issues/comments{/number}","contents_url":"https://api.github.com/repos/zhenya1007/PG/contents/{+path}","compare_url":"https://api.github.com/repos/zhenya1007/PG/compare/{base}...{head}","merges_url":"https://api.github.com/repos/zhenya1007/PG/merges","archive_url":"https://api.github.com/repos/zhenya1007/PG/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/zhenya1007/PG/downloads","issues_url":"https://api.github.com/repos/zhenya1007/PG/issues{/number}","pulls_url":"https://api.github.com/repos/zhenya1007/PG/pulls{/number}","milestones_url":"https://api.github.com/repos/zhenya1007/PG/milestones{/number}","notifications_url":"https://api.github.com/repos/zhenya1007/PG/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/zhenya1007/PG/labels{/name}","releases_url":"https://api.github.com/repos/zhenya1007/PG/releases{/id}","deployments_url":"https://api.github.com/repos/zhenya1007/PG/deployments","created_at":"2016-12-04T18:48:12Z","updated_at":"2016-12-04T18:48:14Z","pushed_at":"2016-12-31T18:39:21Z","git_url":"git://github.com/zhenya1007/PG.git","ssh_url":"git@github.com:zhenya1007/PG.git","clone_url":"https://github.com/zhenya1007/PG.git","svn_url":"https://github.com/zhenya1007/PG","homepage":"https://proofgeneral.github.io/","size":24653,"stargazers_count":0,"watchers_count":0,"language":"Emacs Lisp","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":"ProofGeneral:master","ref":"master","sha":"1e506d9da3b05a5ec8c6ec5e91f17cf153cb6dfc","user":{"login":"ProofGeneral","id":12037073,"avatar_url":"https://avatars.githubusercontent.com/u/12037073?v=3","gravatar_id":"","url":"https://api.github.com/users/ProofGeneral","html_url":"https://github.com/ProofGeneral","followers_url":"https://api.github.com/users/ProofGeneral/followers","following_url":"https://api.github.com/users/ProofGeneral/following{/other_user}","gists_url":"https://api.github.com/users/ProofGeneral/gists{/gist_id}","starred_url":"https://api.github.com/users/ProofGeneral/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ProofGeneral/subscriptions","organizations_url":"https://api.github.com/users/ProofGeneral/orgs","repos_url":"https://api.github.com/users/ProofGeneral/repos","events_url":"https://api.github.com/users/ProofGeneral/events{/privacy}","received_events_url":"https://api.github.com/users/ProofGeneral/received_events","type":"Organization","site_admin":false},"repo":{"id":42843402,"name":"PG","full_name":"ProofGeneral/PG","owner":{"login":"ProofGeneral","id":12037073,"avatar_url":"https://avatars.githubusercontent.com/u/12037073?v=3","gravatar_id":"","url":"https://api.github.com/users/ProofGeneral","html_url":"https://github.com/ProofGeneral","followers_url":"https://api.github.com/users/ProofGeneral/followers","following_url":"https://api.github.com/users/ProofGeneral/following{/other_user}","gists_url":"https://api.github.com/users/ProofGeneral/gists{/gist_id}","starred_url":"https://api.github.com/users/ProofGeneral/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ProofGeneral/subscriptions","organizations_url":"https://api.github.com/users/ProofGeneral/orgs","repos_url":"https://api.github.com/users/ProofGeneral/repos","events_url":"https://api.github.com/users/ProofGeneral/events{/privacy}","received_events_url":"https://api.github.com/users/ProofGeneral/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/ProofGeneral/PG","description":"This repo is the new home of Proof General","fork":false,"url":"https://api.github.com/repos/ProofGeneral/PG","forks_url":"https://api.github.com/repos/ProofGeneral/PG/forks","keys_url":"https://api.github.com/repos/ProofGeneral/PG/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ProofGeneral/PG/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ProofGeneral/PG/teams","hooks_url":"https://api.github.com/repos/ProofGeneral/PG/hooks","issue_events_url":"https://api.github.com/repos/ProofGeneral/PG/issues/events{/number}","events_url":"https://api.github.com/repos/ProofGeneral/PG/events","assignees_url":"https://api.github.com/repos/ProofGeneral/PG/assignees{/user}","branches_url":"https://api.github.com/repos/ProofGeneral/PG/branches{/branch}","tags_url":"https://api.github.com/repos/ProofGeneral/PG/tags","blobs_url":"https://api.github.com/repos/ProofGeneral/PG/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ProofGeneral/PG/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ProofGeneral/PG/git/refs{/sha}","trees_url":"https://api.github.com/repos/ProofGeneral/PG/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ProofGeneral/PG/statuses/{sha}","languages_url":"https://api.github.com/repos/ProofGeneral/PG/languages","stargazers_url":"https://api.github.com/repos/ProofGeneral/PG/stargazers","contributors_url":"https://api.github.com/repos/ProofGeneral/PG/contributors","subscribers_url":"https://api.github.com/repos/ProofGeneral/PG/subscribers","subscription_url":"https://api.github.com/repos/ProofGeneral/PG/subscription","commits_url":"https://api.github.com/repos/ProofGeneral/PG/commits{/sha}","git_commits_url":"https://api.github.com/repos/ProofGeneral/PG/git/commits{/sha}","comments_url":"https://api.github.com/repos/ProofGeneral/PG/comments{/number}","issue_comment_url":"https://api.github.com/repos/ProofGeneral/PG/issues/comments{/number}","contents_url":"https://api.github.com/repos/ProofGeneral/PG/contents/{+path}","compare_url":"https://api.github.com/repos/ProofGeneral/PG/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ProofGeneral/PG/merges","archive_url":"https://api.github.com/repos/ProofGeneral/PG/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ProofGeneral/PG/downloads","issues_url":"https://api.github.com/repos/ProofGeneral/PG/issues{/number}","pulls_url":"https://api.github.com/repos/ProofGeneral/PG/pulls{/number}","milestones_url":"https://api.github.com/repos/ProofGeneral/PG/milestones{/number}","notifications_url":"https://api.github.com/repos/ProofGeneral/PG/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ProofGeneral/PG/labels{/name}","releases_url":"https://api.github.com/repos/ProofGeneral/PG/releases{/id}","deployments_url":"https://api.github.com/repos/ProofGeneral/PG/deployments","created_at":"2015-09-21T04:13:36Z","updated_at":"2016-12-28T17:01:33Z","pushed_at":"2016-12-31T19:23:39Z","git_url":"git://github.com/ProofGeneral/PG.git","ssh_url":"git@github.com:ProofGeneral/PG.git","clone_url":"https://github.com/ProofGeneral/PG.git","svn_url":"https://github.com/ProofGeneral/PG","homepage":"https://proofgeneral.github.io/","size":24894,"stargazers_count":91,"watchers_count":91,"language":"Emacs Lisp","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":24,"mirror_url":null,"open_issues_count":47,"forks":24,"open_issues":47,"watchers":91,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/ProofGeneral/PG/pulls/127"},"html":{"href":"https://github.com/ProofGeneral/PG/pull/127"},"issue":{"href":"https://api.github.com/repos/ProofGeneral/PG/issues/127"},"comments":{"href":"https://api.github.com/repos/ProofGeneral/PG/issues/127/comments"},"review_comments":{"href":"https://api.github.com/repos/ProofGeneral/PG/pulls/127/comments"},"review_comment":{"href":"https://api.github.com/repos/ProofGeneral/PG/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/ProofGeneral/PG/pulls/127/commits"},"statuses":{"href":"https://api.github.com/repos/ProofGeneral/PG/statuses/dd9a878457cc887fd3c957964ccc830d3c4504fd"}},"merged":true,"mergeable":null,"mergeable_state":"unknown","merged_by":{"login":"erikmd","id":10367254,"avatar_url":"https://avatars.githubusercontent.com/u/10367254?v=3","gravatar_id":"","url":"https://api.github.com/users/erikmd","html_url":"https://github.com/erikmd","followers_url":"https://api.github.com/users/erikmd/followers","following_url":"https://api.github.com/users/erikmd/following{/other_user}","gists_url":"https://api.github.com/users/erikmd/gists{/gist_id}","starred_url":"https://api.github.com/users/erikmd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/erikmd/subscriptions","organizations_url":"https://api.github.com/users/erikmd/orgs","repos_url":"https://api.github.com/users/erikmd/repos","events_url":"https://api.github.com/users/erikmd/events{/privacy}","received_events_url":"https://api.github.com/users/erikmd/received_events","type":"User","site_admin":false},"comments":10,"review_comments":16,"maintainer_can_modify":false,"commits":8,"additions":66,"deletions":100,"changed_files":1}}
{"actor":{"display_login":"erikmd"}}