{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/921","repository_url":"https://api.github.com/repos/gap-system/gap","labels_url":"https://api.github.com/repos/gap-system/gap/issues/921/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/921/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/921/events","html_url":"https://github.com/gap-system/gap/pull/921","id":183898702,"number":921,"title":"Add documentation for StableSort and related functions","user":{"login":"ChrisJefferson","id":811527,"avatar_url":"https://avatars.githubusercontent.com/u/811527?v=3","gravatar_id":"","url":"https://api.github.com/users/ChrisJefferson","html_url":"https://github.com/ChrisJefferson","followers_url":"https://api.github.com/users/ChrisJefferson/followers","following_url":"https://api.github.com/users/ChrisJefferson/following{/other_user}","gists_url":"https://api.github.com/users/ChrisJefferson/gists{/gist_id}","starred_url":"https://api.github.com/users/ChrisJefferson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChrisJefferson/subscriptions","organizations_url":"https://api.github.com/users/ChrisJefferson/orgs","repos_url":"https://api.github.com/users/ChrisJefferson/repos","events_url":"https://api.github.com/users/ChrisJefferson/events{/privacy}","received_events_url":"https://api.github.com/users/ChrisJefferson/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-19T08:34:47Z","updated_at":"2016-10-19T14:28:20Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/921","html_url":"https://github.com/gap-system/gap/pull/921","diff_url":"https://github.com/gap-system/gap/pull/921.diff","patch_url":"https://github.com/gap-system/gap/pull/921.patch"},"body":"This just adds missing documentation for `StableSort` and related stable sorting functions.\r\n\r\nFixes #908 "},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/254829544","html_url":"https://github.com/gap-system/gap/pull/921#issuecomment-254829544","issue_url":"https://api.github.com/repos/gap-system/gap/issues/921","id":254829544,"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":"2016-10-19T14:28:20Z","updated_at":"2016-10-19T14:28:20Z","body":"Great!\r\n\r\nHm, there doesn't seem to be any example for the two *By variants in the manual, though. Perhaps you could add some? But of course this is beyond the scope of this PR, so if you don't want to do it now, I can also open a new issue requesting that, and we just merge this PR as-is."}}
{"actor":{"display_login":"fingolfin"}}