{"action":"closed","number":2951,"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/2951","id":226617533,"node_id":"MDExOlB1bGxSZXF1ZXN0MjI2NjE3NTMz","html_url":"https://github.com/gap-system/gap/pull/2951","diff_url":"https://github.com/gap-system/gap/pull/2951.diff","patch_url":"https://github.com/gap-system/gap/pull/2951.patch","issue_url":"https://api.github.com/repos/gap-system/gap/issues/2951","number":2951,"state":"closed","locked":false,"title":"set `IsSSortedList` in results of `Positions` etc.","user":{"login":"ThomasBreuer","id":25204833,"node_id":"MDQ6VXNlcjI1MjA0ODMz","avatar_url":"https://avatars3.githubusercontent.com/u/25204833?v=4","gravatar_id":"","url":"https://api.github.com/users/ThomasBreuer","html_url":"https://github.com/ThomasBreuer","followers_url":"https://api.github.com/users/ThomasBreuer/followers","following_url":"https://api.github.com/users/ThomasBreuer/following{/other_user}","gists_url":"https://api.github.com/users/ThomasBreuer/gists{/gist_id}","starred_url":"https://api.github.com/users/ThomasBreuer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ThomasBreuer/subscriptions","organizations_url":"https://api.github.com/users/ThomasBreuer/orgs","repos_url":"https://api.github.com/users/ThomasBreuer/repos","events_url":"https://api.github.com/users/ThomasBreuer/events{/privacy}","received_events_url":"https://api.github.com/users/ThomasBreuer/received_events","type":"User","site_admin":false},"body":"- The global functions `Positions` and `PositionsBound`\r\n  set the filter `IsSSortedList` for their result.\r\n- The two `PositionsProperty` methods in `lib/list.gi`\r\n  set the filter `IsSSortedList` for their result.\r\n- The documentation of `Positions`and `PositionsProperty`\r\n  now mentions that the result is a set.\r\n- The documentation of `PositionsBound` now states that it is\r\n  a global function not an operation.\r\n- The test file `tst/testinstall/list.tst` now checks\r\n  that `IsSSortedList` is set in these situations.\r\n\r\n(It would be easy to set `IsSSortedList` also for the result of\r\n`Filtered` if the given list has `IsSSortedList`.\r\nWould that be reasonable?)","created_at":"2018-10-29T16:00:07Z","updated_at":"2018-10-30T11:45:13Z","closed_at":"2018-10-30T11:45:13Z","merged_at":"2018-10-30T11:45:13Z","merge_commit_sha":"fe3f0934aa989b324457ae4d02a217c6be3a4dee","assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[{"id":180442296,"node_id":"MDU6TGFiZWwxODA0NDIyOTY=","url":"https://api.github.com/repos/gap-system/gap/labels/kind:%20enhancement","name":"kind: enhancement","color":"84b6eb","default":false},{"id":689248488,"node_id":"MDU6TGFiZWw2ODkyNDg0ODg=","url":"https://api.github.com/repos/gap-system/gap/labels/release%20notes:%20not%20needed","name":"release notes: not needed","color":"86d7e8","default":false}],"milestone":null,"commits_url":"https://api.github.com/repos/gap-system/gap/pulls/2951/commits","review_comments_url":"https://api.github.com/repos/gap-system/gap/pulls/2951/comments","review_comment_url":"https://api.github.com/repos/gap-system/gap/pulls/comments{/number}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/2951/comments","statuses_url":"https://api.github.com/repos/gap-system/gap/statuses/5b85d7b82c77d42dbd10fb591824f3e65bfd1c2b","head":{"label":"ThomasBreuer:TB_SetIsSSortedList","ref":"TB_SetIsSSortedList","sha":"5b85d7b82c77d42dbd10fb591824f3e65bfd1c2b","user":{"login":"ThomasBreuer","id":25204833,"node_id":"MDQ6VXNlcjI1MjA0ODMz","avatar_url":"https://avatars3.githubusercontent.com/u/25204833?v=4","gravatar_id":"","url":"https://api.github.com/users/ThomasBreuer","html_url":"https://github.com/ThomasBreuer","followers_url":"https://api.github.com/users/ThomasBreuer/followers","following_url":"https://api.github.com/users/ThomasBreuer/following{/other_user}","gists_url":"https://api.github.com/users/ThomasBreuer/gists{/gist_id}","starred_url":"https://api.github.com/users/ThomasBreuer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ThomasBreuer/subscriptions","organizations_url":"https://api.github.com/users/ThomasBreuer/orgs","repos_url":"https://api.github.com/users/ThomasBreuer/repos","events_url":"https://api.github.com/users/ThomasBreuer/events{/privacy}","received_events_url":"https://api.github.com/users/ThomasBreuer/received_events","type":"User","site_admin":false},"repo":{"id":101183159,"node_id":"MDEwOlJlcG9zaXRvcnkxMDExODMxNTk=","name":"gap","full_name":"ThomasBreuer/gap","private":false,"owner":{"login":"ThomasBreuer","id":25204833,"node_id":"MDQ6VXNlcjI1MjA0ODMz","avatar_url":"https://avatars3.githubusercontent.com/u/25204833?v=4","gravatar_id":"","url":"https://api.github.com/users/ThomasBreuer","html_url":"https://github.com/ThomasBreuer","followers_url":"https://api.github.com/users/ThomasBreuer/followers","following_url":"https://api.github.com/users/ThomasBreuer/following{/other_user}","gists_url":"https://api.github.com/users/ThomasBreuer/gists{/gist_id}","starred_url":"https://api.github.com/users/ThomasBreuer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ThomasBreuer/subscriptions","organizations_url":"https://api.github.com/users/ThomasBreuer/orgs","repos_url":"https://api.github.com/users/ThomasBreuer/repos","events_url":"https://api.github.com/users/ThomasBreuer/events{/privacy}","received_events_url":"https://api.github.com/users/ThomasBreuer/received_events","type":"User","site_admin":false},"html_url":"https://github.com/ThomasBreuer/gap","description":"Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra","fork":true,"url":"https://api.github.com/repos/ThomasBreuer/gap","forks_url":"https://api.github.com/repos/ThomasBreuer/gap/forks","keys_url":"https://api.github.com/repos/ThomasBreuer/gap/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ThomasBreuer/gap/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ThomasBreuer/gap/teams","hooks_url":"https://api.github.com/repos/ThomasBreuer/gap/hooks","issue_events_url":"https://api.github.com/repos/ThomasBreuer/gap/issues/events{/number}","events_url":"https://api.github.com/repos/ThomasBreuer/gap/events","assignees_url":"https://api.github.com/repos/ThomasBreuer/gap/assignees{/user}","branches_url":"https://api.github.com/repos/ThomasBreuer/gap/branches{/branch}","tags_url":"https://api.github.com/repos/ThomasBreuer/gap/tags","blobs_url":"https://api.github.com/repos/ThomasBreuer/gap/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ThomasBreuer/gap/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ThomasBreuer/gap/git/refs{/sha}","trees_url":"https://api.github.com/repos/ThomasBreuer/gap/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ThomasBreuer/gap/statuses/{sha}","languages_url":"https://api.github.com/repos/ThomasBreuer/gap/languages","stargazers_url":"https://api.github.com/repos/ThomasBreuer/gap/stargazers","contributors_url":"https://api.github.com/repos/ThomasBreuer/gap/contributors","subscribers_url":"https://api.github.com/repos/ThomasBreuer/gap/subscribers","subscription_url":"https://api.github.com/repos/ThomasBreuer/gap/subscription","commits_url":"https://api.github.com/repos/ThomasBreuer/gap/commits{/sha}","git_commits_url":"https://api.github.com/repos/ThomasBreuer/gap/git/commits{/sha}","comments_url":"https://api.github.com/repos/ThomasBreuer/gap/comments{/number}","issue_comment_url":"https://api.github.com/repos/ThomasBreuer/gap/issues/comments{/number}","contents_url":"https://api.github.com/repos/ThomasBreuer/gap/contents/{+path}","compare_url":"https://api.github.com/repos/ThomasBreuer/gap/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ThomasBreuer/gap/merges","archive_url":"https://api.github.com/repos/ThomasBreuer/gap/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ThomasBreuer/gap/downloads","issues_url":"https://api.github.com/repos/ThomasBreuer/gap/issues{/number}","pulls_url":"https://api.github.com/repos/ThomasBreuer/gap/pulls{/number}","milestones_url":"https://api.github.com/repos/ThomasBreuer/gap/milestones{/number}","notifications_url":"https://api.github.com/repos/ThomasBreuer/gap/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ThomasBreuer/gap/labels{/name}","releases_url":"https://api.github.com/repos/ThomasBreuer/gap/releases{/id}","deployments_url":"https://api.github.com/repos/ThomasBreuer/gap/deployments","created_at":"2017-08-23T13:28:09Z","updated_at":"2017-08-23T13:28:39Z","pushed_at":"2018-10-30T09:41:01Z","git_url":"git://github.com/ThomasBreuer/gap.git","ssh_url":"git@github.com:ThomasBreuer/gap.git","clone_url":"https://github.com/ThomasBreuer/gap.git","svn_url":"https://github.com/ThomasBreuer/gap","homepage":"https://www.gap-system.org","size":403827,"stargazers_count":0,"watchers_count":0,"language":"GAP","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"gpl-2.0","name":"GNU General Public License v2.0","spdx_id":"GPL-2.0","url":"https://api.github.com/licenses/gpl-2.0","node_id":"MDc6TGljZW5zZTg="},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"gap-system:master","ref":"master","sha":"dac683f58fd89829c7c781b0d370f8534ff99296","user":{"login":"gap-system","id":5344223,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUzNDQyMjM=","avatar_url":"https://avatars2.githubusercontent.com/u/5344223?v=4","gravatar_id":"","url":"https://api.github.com/users/gap-system","html_url":"https://github.com/gap-system","followers_url":"https://api.github.com/users/gap-system/followers","following_url":"https://api.github.com/users/gap-system/following{/other_user}","gists_url":"https://api.github.com/users/gap-system/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-system/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-system/subscriptions","organizations_url":"https://api.github.com/users/gap-system/orgs","repos_url":"https://api.github.com/users/gap-system/repos","events_url":"https://api.github.com/users/gap-system/events{/privacy}","received_events_url":"https://api.github.com/users/gap-system/received_events","type":"Organization","site_admin":false},"repo":{"id":31270208,"node_id":"MDEwOlJlcG9zaXRvcnkzMTI3MDIwOA==","name":"gap","full_name":"gap-system/gap","private":false,"owner":{"login":"gap-system","id":5344223,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUzNDQyMjM=","avatar_url":"https://avatars2.githubusercontent.com/u/5344223?v=4","gravatar_id":"","url":"https://api.github.com/users/gap-system","html_url":"https://github.com/gap-system","followers_url":"https://api.github.com/users/gap-system/followers","following_url":"https://api.github.com/users/gap-system/following{/other_user}","gists_url":"https://api.github.com/users/gap-system/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-system/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-system/subscriptions","organizations_url":"https://api.github.com/users/gap-system/orgs","repos_url":"https://api.github.com/users/gap-system/repos","events_url":"https://api.github.com/users/gap-system/events{/privacy}","received_events_url":"https://api.github.com/users/gap-system/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/gap-system/gap","description":"Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra","fork":false,"url":"https://api.github.com/repos/gap-system/gap","forks_url":"https://api.github.com/repos/gap-system/gap/forks","keys_url":"https://api.github.com/repos/gap-system/gap/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gap-system/gap/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gap-system/gap/teams","hooks_url":"https://api.github.com/repos/gap-system/gap/hooks","issue_events_url":"https://api.github.com/repos/gap-system/gap/issues/events{/number}","events_url":"https://api.github.com/repos/gap-system/gap/events","assignees_url":"https://api.github.com/repos/gap-system/gap/assignees{/user}","branches_url":"https://api.github.com/repos/gap-system/gap/branches{/branch}","tags_url":"https://api.github.com/repos/gap-system/gap/tags","blobs_url":"https://api.github.com/repos/gap-system/gap/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gap-system/gap/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gap-system/gap/git/refs{/sha}","trees_url":"https://api.github.com/repos/gap-system/gap/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gap-system/gap/statuses/{sha}","languages_url":"https://api.github.com/repos/gap-system/gap/languages","stargazers_url":"https://api.github.com/repos/gap-system/gap/stargazers","contributors_url":"https://api.github.com/repos/gap-system/gap/contributors","subscribers_url":"https://api.github.com/repos/gap-system/gap/subscribers","subscription_url":"https://api.github.com/repos/gap-system/gap/subscription","commits_url":"https://api.github.com/repos/gap-system/gap/commits{/sha}","git_commits_url":"https://api.github.com/repos/gap-system/gap/git/commits{/sha}","comments_url":"https://api.github.com/repos/gap-system/gap/comments{/number}","issue_comment_url":"https://api.github.com/repos/gap-system/gap/issues/comments{/number}","contents_url":"https://api.github.com/repos/gap-system/gap/contents/{+path}","compare_url":"https://api.github.com/repos/gap-system/gap/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gap-system/gap/merges","archive_url":"https://api.github.com/repos/gap-system/gap/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gap-system/gap/downloads","issues_url":"https://api.github.com/repos/gap-system/gap/issues{/number}","pulls_url":"https://api.github.com/repos/gap-system/gap/pulls{/number}","milestones_url":"https://api.github.com/repos/gap-system/gap/milestones{/number}","notifications_url":"https://api.github.com/repos/gap-system/gap/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gap-system/gap/labels{/name}","releases_url":"https://api.github.com/repos/gap-system/gap/releases{/id}","deployments_url":"https://api.github.com/repos/gap-system/gap/deployments","created_at":"2015-02-24T16:47:50Z","updated_at":"2018-10-29T23:52:33Z","pushed_at":"2018-10-30T11:45:13Z","git_url":"git://github.com/gap-system/gap.git","ssh_url":"git@github.com:gap-system/gap.git","clone_url":"https://github.com/gap-system/gap.git","svn_url":"https://github.com/gap-system/gap","homepage":"https://www.gap-system.org","size":403990,"stargazers_count":238,"watchers_count":238,"language":"GAP","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":82,"mirror_url":null,"archived":false,"open_issues_count":355,"license":{"key":"gpl-2.0","name":"GNU General Public License v2.0","spdx_id":"GPL-2.0","url":"https://api.github.com/licenses/gpl-2.0","node_id":"MDc6TGljZW5zZTg="},"forks":82,"open_issues":355,"watchers":238,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/gap-system/gap/pulls/2951"},"html":{"href":"https://github.com/gap-system/gap/pull/2951"},"issue":{"href":"https://api.github.com/repos/gap-system/gap/issues/2951"},"comments":{"href":"https://api.github.com/repos/gap-system/gap/issues/2951/comments"},"review_comments":{"href":"https://api.github.com/repos/gap-system/gap/pulls/2951/comments"},"review_comment":{"href":"https://api.github.com/repos/gap-system/gap/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/gap-system/gap/pulls/2951/commits"},"statuses":{"href":"https://api.github.com/repos/gap-system/gap/statuses/5b85d7b82c77d42dbd10fb591824f3e65bfd1c2b"}},"author_association":"CONTRIBUTOR","merged":true,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":{"login":"fingolfin","id":241512,"node_id":"MDQ6VXNlcjI0MTUxMg==","avatar_url":"https://avatars2.githubusercontent.com/u/241512?v=4","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},"comments":4,"review_comments":0,"maintainer_can_modify":false,"commits":1,"additions":62,"deletions":10,"changed_files":5}}
{"actor":{"display_login":"fingolfin"}}