{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/312","labels_url":"https://api.github.com/repos/gap-system/gap/issues/312/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/312/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/312/events","html_url":"https://github.com/gap-system/gap/pull/312","id":113730452,"number":312,"title":"Remove unused code","user":{"login":"markuspf","id":3589190,"avatar_url":"https://avatars.githubusercontent.com/u/3589190?v=3","gravatar_id":"","url":"https://api.github.com/users/markuspf","html_url":"https://github.com/markuspf","followers_url":"https://api.github.com/users/markuspf/followers","following_url":"https://api.github.com/users/markuspf/following{/other_user}","gists_url":"https://api.github.com/users/markuspf/gists{/gist_id}","starred_url":"https://api.github.com/users/markuspf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/markuspf/subscriptions","organizations_url":"https://api.github.com/users/markuspf/orgs","repos_url":"https://api.github.com/users/markuspf/repos","events_url":"https://api.github.com/users/markuspf/events{/privacy}","received_events_url":"https://api.github.com/users/markuspf/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-10-28T02:31:29Z","updated_at":"2015-10-28T15:08:12Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/312","html_url":"https://github.com/gap-system/gap/pull/312","diff_url":"https://github.com/gap-system/gap/pull/312.diff","patch_url":"https://github.com/gap-system/gap/pull/312.patch"},"body":"This code was commented out, and removing it does not cause any functional change. If there is still interest in this functionality we should move it into a package."},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/151875391","html_url":"https://github.com/gap-system/gap/pull/312#issuecomment-151875391","issue_url":"https://api.github.com/repos/gap-system/gap/issues/312","id":151875391,"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},"created_at":"2015-10-28T15:08:12Z","updated_at":"2015-10-28T15:08:12Z","body":"@alex-konovalov As you say, `ReadLib` is used by three pacakges to read `lib/demo.g`. The only other `ReadLib` call is in `Browse`, which uses it to read the `conwdat*.g`, but those are also being read by `ReadLib` calls in the GAP library.\r\n\r\n@frankluebeck Of course I agree that a good commit mesage should be used (that shold *always* be done, after all ;-). Alhough I am not sure whether one would really search that code by the name of its authors...? Anyway, even in that case, I think I thould point to the powerful `git log -G<regex>`, which can be used to find commits which add/remove lines matching the given regex. Thus e.g. `git log -G\"Copperman\"` will also find this commit. So, even if the commit message is not perfect, this way one can find most commits if one just knows a little bit about them."}}