{"action":"created","issue":{"url":"https://api.github.com/repos/homalg-project/homalg_project/issues/158","repository_url":"https://api.github.com/repos/homalg-project/homalg_project","labels_url":"https://api.github.com/repos/homalg-project/homalg_project/issues/158/labels{/name}","comments_url":"https://api.github.com/repos/homalg-project/homalg_project/issues/158/comments","events_url":"https://api.github.com/repos/homalg-project/homalg_project/issues/158/events","html_url":"https://github.com/homalg-project/homalg_project/pull/158","id":139031284,"number":158,"title":"Start using AutoDoc() for homalg","user":{"login":"fingolfin","id":241512,"avatar_url":"https://avatars.githubusercontent.com/u/241512?v=3","gravatar_id":"","url":"https://api.github.com/users/fingolfin","html_url":"https://github.com/fingolfin","followers_url":"https://api.github.com/users/fingolfin/followers","following_url":"https://api.github.com/users/fingolfin/following{/other_user}","gists_url":"https://api.github.com/users/fingolfin/gists{/gist_id}","starred_url":"https://api.github.com/users/fingolfin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fingolfin/subscriptions","organizations_url":"https://api.github.com/users/fingolfin/orgs","repos_url":"https://api.github.com/users/fingolfin/repos","events_url":"https://api.github.com/users/fingolfin/events{/privacy}","received_events_url":"https://api.github.com/users/fingolfin/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2016-03-07T16:54:53Z","updated_at":"2016-10-13T14:28:47Z","closed_at":"2016-09-20T09:38:59Z","pull_request":{"url":"https://api.github.com/repos/homalg-project/homalg_project/pulls/158","html_url":"https://github.com/homalg-project/homalg_project/pull/158","diff_url":"https://github.com/homalg-project/homalg_project/pull/158.diff","patch_url":"https://github.com/homalg-project/homalg_project/pull/158.patch"},"body":"AutoDoc was initiated by the homalg project, yet strangely most of it does not use AutoDoc, not even for the minimal purpose of generating its manuals.\r\n\r\nThis PR takes a first step towards changing this, by replacing all makedoc.g files with ones which use AutoDoc.\r\n\r\nThe next step could be to change all packages to use the scaffolding feature to regenerate their manual title pages.\r\n"},"comment":{"url":"https://api.github.com/repos/homalg-project/homalg_project/issues/comments/253529708","html_url":"https://github.com/homalg-project/homalg_project/pull/158#issuecomment-253529708","issue_url":"https://api.github.com/repos/homalg-project/homalg_project/issues/158","id":253529708,"user":{"login":"sebasguts","id":1068084,"avatar_url":"https://avatars.githubusercontent.com/u/1068084?v=3","gravatar_id":"","url":"https://api.github.com/users/sebasguts","html_url":"https://github.com/sebasguts","followers_url":"https://api.github.com/users/sebasguts/followers","following_url":"https://api.github.com/users/sebasguts/following{/other_user}","gists_url":"https://api.github.com/users/sebasguts/gists{/gist_id}","starred_url":"https://api.github.com/users/sebasguts/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sebasguts/subscriptions","organizations_url":"https://api.github.com/users/sebasguts/orgs","repos_url":"https://api.github.com/users/sebasguts/repos","events_url":"https://api.github.com/users/sebasguts/events{/privacy}","received_events_url":"https://api.github.com/users/sebasguts/received_events","type":"User","site_admin":false},"created_at":"2016-10-13T14:28:47Z","updated_at":"2016-10-13T14:28:47Z","body":"I think we should just include the following types of files:\r\n\r\n* *g{,d,i}\r\n* *xml\r\n* *autodoc\r\n* *c{,pp}\r\n* *h\r\n\r\nand probably the makefile itself. By looking through the packages, I did not find any othe types of files. Please correct me if I am wrong."}}
{"actor":{"display_login":"sebasguts"}}