{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":13869700,"defaultBranch":"develop","name":"FeatureIDE","ownerLogin":"FeatureIDE","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-10-25T19:08:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16704202?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1710261588.0","currentOid":""},"activityList":{"items":[{"before":"51cbc0577e214032b59528981b13512c30562501","after":"93917280013f3d0314cea7bc2f0c699348609d43","ref":"refs/heads/develop","pushedAt":"2024-05-07T13:52:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes compilation problems (#1482)\n\nSigned-off-by Sebastian Krieter <sebastian.krieter@uni-ulm.de>","shortMessageHtmlLink":"Fixes compilation problems (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2268618580\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FeatureIDE/FeatureIDE/issues/1482\" data-hovercard-type=\"issue\" data-hovercard-url=\"/FeatureIDE/FeatureIDE/issues/1482/hovercard\" href=\"https://github.com/FeatureIDE/FeatureIDE/issues/1482\">#1482</a>)"}},{"before":"83c61ffbe0d14290771607e616b941dac606bffb","after":"51cbc0577e214032b59528981b13512c30562501","ref":"refs/heads/develop","pushedAt":"2024-05-07T13:39:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes #1482\n\nAdds clone method that allows to creat fm with new ID\n\nSigned-off-by Sebastian Krieter <sebastian.krieter@uni-ulm.de>","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1482.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2268618580\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FeatureIDE/FeatureIDE/issues/1482\" data-hovercard-type=\"issue\" data-hovercard-url=\"/FeatureIDE/FeatureIDE/issues/1482/hovercard\" href=\"https://github.com/FeatureIDE/FeatureIDE/issues/1482\">#1482</a>"}},{"before":"44b7067ea8581217dd428efabc4f0dbb42b83223","after":"83c61ffbe0d14290771607e616b941dac606bffb","ref":"refs/heads/develop","pushedAt":"2024-05-07T13:07:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes #1481\n\nYASA now returns empty sample for unsatisfiable formulas\n\nSigned-off-by Sebastian Krieter <sebastian.krieter@uni-ulm.de>","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1481.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2258223103\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FeatureIDE/FeatureIDE/issues/1481\" data-hovercard-type=\"issue\" data-hovercard-url=\"/FeatureIDE/FeatureIDE/issues/1481/hovercard\" href=\"https://github.com/FeatureIDE/FeatureIDE/issues/1481\">#1481</a>"}},{"before":"6fcf7592ec90f6c52581f05a6b13497a1e01d396","after":"44b7067ea8581217dd428efabc4f0dbb42b83223","ref":"refs/heads/develop","pushedAt":"2024-05-07T12:10:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes #1477\n\nAdds workaround to ignore missing libraries.\n\nSigned-off-by Sebastian Krieter <sebastian.krieter@uni-ulm.de>","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1477.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2223124896\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FeatureIDE/FeatureIDE/issues/1477\" data-hovercard-type=\"issue\" data-hovercard-url=\"/FeatureIDE/FeatureIDE/issues/1477/hovercard\" href=\"https://github.com/FeatureIDE/FeatureIDE/issues/1477\">#1477</a>"}},{"before":null,"after":"6fcf7592ec90f6c52581f05a6b13497a1e01d396","ref":"refs/heads/release3.11.1","pushedAt":"2024-03-12T16:31:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.1","shortMessageHtmlLink":"Creates new version v3.11.1"}},{"before":"ac0c2df63c7c3131435766c38b00852d038d81c0","after":"6fcf7592ec90f6c52581f05a6b13497a1e01d396","ref":"refs/heads/release3.11","pushedAt":"2024-03-12T16:31:17.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.1","shortMessageHtmlLink":"Creates new version v3.11.1"}},{"before":"ac0c2df63c7c3131435766c38b00852d038d81c0","after":"6fcf7592ec90f6c52581f05a6b13497a1e01d396","ref":"refs/heads/master","pushedAt":"2024-03-12T16:31:17.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.1","shortMessageHtmlLink":"Creates new version v3.11.1"}},{"before":"ac0c2df63c7c3131435766c38b00852d038d81c0","after":"6fcf7592ec90f6c52581f05a6b13497a1e01d396","ref":"refs/heads/develop","pushedAt":"2024-03-12T16:30:22.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.1","shortMessageHtmlLink":"Creates new version v3.11.1"}},{"before":"ac0c2df63c7c3131435766c38b00852d038d81c0","after":"160ef478773c21dc7ed9b5fda3723b14eae14fb3","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-12T15:36:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dev-andreas","name":"Andreas Gerasimow","path":"/dev-andreas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66901404?s=80&v=4"},"commit":{"message":"Fixes UI problem on MacOS.","shortMessageHtmlLink":"Fixes UI problem on MacOS."}},{"before":"6d13c4491b61350e512080f88ea7e4431ff157e8","after":"ac0c2df63c7c3131435766c38b00852d038d81c0","ref":"refs/heads/develop","pushedAt":"2024-03-12T11:22:43.000Z","pushType":"push","commitsCount":24,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.0","shortMessageHtmlLink":"Creates new version v3.11.0"}},{"before":"6e50fbfa2544ed48c3dde9bae941ba92af288d01","after":"ac0c2df63c7c3131435766c38b00852d038d81c0","ref":"refs/heads/master","pushedAt":"2024-03-12T11:22:17.000Z","pushType":"push","commitsCount":62,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.0","shortMessageHtmlLink":"Creates new version v3.11.0"}},{"before":null,"after":"ac0c2df63c7c3131435766c38b00852d038d81c0","ref":"refs/heads/release3.11","pushedAt":"2024-03-12T11:21:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.0","shortMessageHtmlLink":"Creates new version v3.11.0"}},{"before":"c29c7efa92bd68c5197e3800de00f8865cc10946","after":"ac0c2df63c7c3131435766c38b00852d038d81c0","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-12T11:20:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Creates new version v3.11.0","shortMessageHtmlLink":"Creates new version v3.11.0"}},{"before":"2335a649b050a00e4625325ec2c0599a203d7f0d","after":"c29c7efa92bd68c5197e3800de00f8865cc10946","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-11T20:27:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Updates change log","shortMessageHtmlLink":"Updates change log"}},{"before":"64177bacc242ad61c14ac9ad9514afa9b107b8ae","after":"2335a649b050a00e4625325ec2c0599a203d7f0d","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-11T20:26:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Increases version number to v3.11.0","shortMessageHtmlLink":"Increases version number to v3.11.0"}},{"before":"a045685e4270ba4a516ae9950835ebb783d162f2","after":"64177bacc242ad61c14ac9ad9514afa9b107b8ae","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-11T20:06:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes compatibility issues with new Eclipse API","shortMessageHtmlLink":"Fixes compatibility issues with new Eclipse API"}},{"before":"355ac1f1707c95e76cec87e56798503898bdfc7b","after":"a045685e4270ba4a516ae9950835ebb783d162f2","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-11T16:34:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes potential resource leak","shortMessageHtmlLink":"Fixes potential resource leak"}},{"before":"5165741ecc0dfaa7b9ce9efd6e2828ef4f3b0ed6","after":"355ac1f1707c95e76cec87e56798503898bdfc7b","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-11T10:16:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes compatibility issue with older Eclipse versions","shortMessageHtmlLink":"Fixes compatibility issue with older Eclipse versions"}},{"before":"2732b745173aa5df0d2d6d45d3fc65363c09595b","after":"5165741ecc0dfaa7b9ce9efd6e2828ef4f3b0ed6","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-09T04:51:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes performance issue in configuration editor under Linux","shortMessageHtmlLink":"Fixes performance issue in configuration editor under Linux"}},{"before":"9a24580046e5fdbdb2ad25fc4b2a7eeb0b0c6e17","after":"2732b745173aa5df0d2d6d45d3fc65363c09595b","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-08T23:26:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Adds encoding preferences","shortMessageHtmlLink":"Adds encoding preferences"}},{"before":"34095ae0438825613574d9bb7bba984167746b68","after":"9a24580046e5fdbdb2ad25fc4b2a7eeb0b0c6e17","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-08T21:11:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes even more compatibility issues","shortMessageHtmlLink":"Fixes even more compatibility issues"}},{"before":"1df54d241f0146a23e1e985016b1eaf9c939f52b","after":"34095ae0438825613574d9bb7bba984167746b68","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-08T20:58:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes more compatibility issues","shortMessageHtmlLink":"Fixes more compatibility issues"}},{"before":"19b207c57a050fe6a4eca180a4039a1a010b39b1","after":"1df54d241f0146a23e1e985016b1eaf9c939f52b","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-08T20:52:40.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Updates excluded source file list","shortMessageHtmlLink":"Updates excluded source file list"}},{"before":null,"after":"19b207c57a050fe6a4eca180a4039a1a010b39b1","ref":"refs/heads/release3.11.0","pushedAt":"2024-03-08T20:32:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes indentation of latex export and tests","shortMessageHtmlLink":"Fixes indentation of latex export and tests"}},{"before":"2559537aef428ca06f8ae63ca7af1b280a07f8f1","after":"6e56181fd101280de411af093b240a2095c91efb","ref":"refs/heads/config-bug","pushedAt":"2024-03-08T13:18:37.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/new-colors' into config-bug","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/new-colors' into config-bug"}},{"before":null,"after":"4df43821f6bee24890a97ecb8e9c46b1948d157f","ref":"refs/heads/new-colors","pushedAt":"2024-03-08T10:04:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dev-andreas","name":"Andreas Gerasimow","path":"/dev-andreas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/66901404?s=80&v=4"},"commit":{"message":"Improves dark mode colors","shortMessageHtmlLink":"Improves dark mode colors"}},{"before":"e311b22c5e2769c177adbf733fb091a4e6597b0f","after":"6d13c4491b61350e512080f88ea7e4431ff157e8","ref":"refs/heads/develop","pushedAt":"2024-03-07T16:08:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Adds preference for enabling dark mode","shortMessageHtmlLink":"Adds preference for enabling dark mode"}},{"before":"f6594b79bb9ed3189d3435b80bb9641c0fe1d5c2","after":"e311b22c5e2769c177adbf733fb091a4e6597b0f","ref":"refs/heads/develop","pushedAt":"2024-03-07T15:43:51.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Merge pull request #1460 from FeatureIDE/configuration-font-size\n\nFont size adapts to screen size #1417","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2058636178\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FeatureIDE/FeatureIDE/issues/1460\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FeatureIDE/FeatureIDE/pull/1460/hovercard\" href=\"https://github.com/FeatureIDE/FeatureIDE/pull/1460\">#1460</a> from FeatureIDE/configuration-font-size"}},{"before":"ed6c8597f219a1eebe203e9f40e7500e081ae123","after":"a5c924a714f58cc8be22865fd1907c9be266d070","ref":"refs/heads/configuration-font-size","pushedAt":"2024-03-07T15:43:29.000Z","pushType":"push","commitsCount":33,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/develop' into\nconfiguration-font-size","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/develop' into"}},{"before":"647da479fdcd4e098f3f88e85531aef7e7646111","after":"2559537aef428ca06f8ae63ca7af1b280a07f8f1","ref":"refs/heads/config-bug","pushedAt":"2024-03-07T15:36:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"skrieter","name":"Sebastian Krieter","path":"/skrieter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5803674?s=80&v=4"},"commit":{"message":"Fixes some minor issues","shortMessageHtmlLink":"Fixes some minor issues"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQ6MSxwA","startCursor":null,"endCursor":null}},"title":"Activity · FeatureIDE/FeatureIDE"}