{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":39459058,"defaultBranch":"release","name":"kotlin-spec","ownerLogin":"Kotlin","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-07-21T17:11:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1446536?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722603142.0","currentOid":""},"activityList":{"items":[{"before":"bf662926648e39a64c69c0d3e1ce31510676f987","after":"59240df6ce372b1d81a85602ccd7ad885172869d","ref":"refs/heads/develop","pushedAt":"2024-08-23T12:51:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Apply suggestions","shortMessageHtmlLink":"Apply suggestions"}},{"before":"b7e13e26294f954b69e34b6b0af54f0e0e563879","after":"bf662926648e39a64c69c0d3e1ce31510676f987","ref":"refs/heads/develop","pushedAt":"2024-08-22T17:39:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Fix KT-64934","shortMessageHtmlLink":"Fix KT-64934"}},{"before":"38ae1d9433c1d92350ff614133e3c75654f6fe6d","after":"1f2e314d21ca6fcd681bff7c4e9feb7442e89434","ref":"refs/heads/bobko/fix-widen-operator","pushedAt":"2024-08-02T12:56:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nikitabobko","name":"Nikita Bobko","path":"/nikitabobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20517828?s=80&v=4"},"commit":{"message":"Drop redundant Widen operator from RHS of subtyping rule\n\nStatement 1: if (Widen(X) <: Widen(Y)) is true expression then Widen(X) <: Y stays true expression\n\nStatement 2: There is no such X and Y that the both following expressions evaluate to true\n    Widen(X) <: Widen(Y) is false\n    Widen(X) <: Y        is true\n\nIn general case, statement 2 is not valid\nIn our specific case where Widen is defined the way it's defined,\nstatement 2 is valid\n\nGiven that in our case statement 1 and statement 2 are both valid, Widen\nis redundant in the RHS and confuses readers\n\nInformally: the intention is to make the widened type more appealing for\nthe overload resolution, so only LHS should be widened","shortMessageHtmlLink":"Drop redundant Widen operator from RHS of subtyping rule"}},{"before":null,"after":"38ae1d9433c1d92350ff614133e3c75654f6fe6d","ref":"refs/heads/bobko/fix-widen-operator","pushedAt":"2024-08-02T12:52:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nikitabobko","name":"Nikita Bobko","path":"/nikitabobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20517828?s=80&v=4"},"commit":{"message":"Drop redundant Widen operator from RHS of subtyping rule\n\nStatement 1: if (Widen(X) <: Widen(Y)) is true expression then Widen(X) <: Y stays true expression\n\nStatement 2: There is no such X and Y that the both following expressions evaluate to true\n    Widen(X) <: Widen(Y) is false\n    Widen(X) <: Y        is true\n\nIn general case, statement 2 is not valid\nIn our specific case where Widen is defined the way it's defined,\nstatement 2 is valid\n\nGiven that in our case statement 1 and statement 2 are both valid, Widen\nis redundant in the RHS and confuses readers","shortMessageHtmlLink":"Drop redundant Widen operator from RHS of subtyping rule"}},{"before":"9d5d9b7b797af1d60ed99d13dc2c56dd4e8e00a7","after":"22fd21b017de5d788e7be8c3570d6a2569c18717","ref":"refs/heads/bobko/fix-typo","pushedAt":"2024-07-29T16:21:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nikitabobko","name":"Nikita Bobko","path":"/nikitabobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20517828?s=80&v=4"},"commit":{"message":"Fix typo\n\nEvery item in the bullet list talks about it's own `U_j`, `U_m`, or `U_n`\nrespectively","shortMessageHtmlLink":"Fix typo"}},{"before":null,"after":"9d5d9b7b797af1d60ed99d13dc2c56dd4e8e00a7","ref":"refs/heads/bobko/fix-typo","pushedAt":"2024-07-29T16:20:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nikitabobko","name":"Nikita Bobko","path":"/nikitabobko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20517828?s=80&v=4"},"commit":{"message":"Fix typo\n\nEvery item in the bullet list talks about it's own U_j, U_m, or U_n","shortMessageHtmlLink":"Fix typo"}},{"before":"83c8c0c19b620cd64df6db862ccdc4a65a4a9499","after":"690684871de9bbe464047c2420c440e18b899e17","ref":"refs/heads/release","pushedAt":"2024-05-16T11:43:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Switch to new Maven-to-GitHub-packages proxy address","shortMessageHtmlLink":"Switch to new Maven-to-GitHub-packages proxy address"}},{"before":"4b92f346205cc7c514c630de0a19d8b764e9e881","after":"9d95fd78b497c35fb4900ffddde8a76cd350b036","ref":"refs/heads/gh-pages","pushedAt":"2024-04-05T13:01:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erokhins","name":"Stanislav Erokhin","path":"/erokhins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1935285?s=80&v=4"},"commit":{"message":"Update spec version","shortMessageHtmlLink":"Update spec version"}},{"before":"4b29a8b42e08237f45c0c3c185eaae4bba3751f6","after":"83c8c0c19b620cd64df6db862ccdc4a65a4a9499","ref":"refs/heads/release","pushedAt":"2024-04-05T12:29:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Merge pull request #127 from simonegiacomelli/release\n\nremoved `parser` directory to comply to the java package definition #126","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2223195720\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Kotlin/kotlin-spec/issues/127\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Kotlin/kotlin-spec/pull/127/hovercard\" href=\"https://github.com/Kotlin/kotlin-spec/pull/127\">#127</a> from simonegiacomelli/release"}},{"before":"9d9e3618c21972be441206e522842c9bd1aac944","after":"4b92f346205cc7c514c630de0a19d8b764e9e881","ref":"refs/heads/gh-pages","pushedAt":"2024-02-07T16:53:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erokhins","name":"Stanislav Erokhin","path":"/erokhins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1935285?s=80&v=4"},"commit":{"message":"Update spec version","shortMessageHtmlLink":"Update spec version"}},{"before":"7bb3bfc2dcc9217c54d979a96c7580a164c54cec","after":"4b29a8b42e08237f45c0c3c185eaae4bba3751f6","ref":"refs/heads/release","pushedAt":"2024-02-07T16:35:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Add Vladimir Reshetnikov to the Acknowledgments section","shortMessageHtmlLink":"Add Vladimir Reshetnikov to the Acknowledgments section"}},{"before":"df472194bd50e7df759a944f2d4d30939f4b2433","after":"44352734d633b37ce965019262496ec698496802","ref":"refs/heads/serras/contexts","pushedAt":"2023-11-15T15:09:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"serras","name":"Alejandro Serrano","path":"/serras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/309334?s=80&v=4"},"commit":{"message":"Nitpicks","shortMessageHtmlLink":"Nitpicks"}},{"before":"d7d9cc049d9d17a7ab5ad9e20d020c359fd2a4b2","after":"df472194bd50e7df759a944f2d4d30939f4b2433","ref":"refs/heads/serras/contexts","pushedAt":"2023-11-15T14:58:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"serras","name":"Alejandro Serrano","path":"/serras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/309334?s=80&v=4"},"commit":{"message":"Clarifications","shortMessageHtmlLink":"Clarifications"}},{"before":null,"after":"d7d9cc049d9d17a7ab5ad9e20d020c359fd2a4b2","ref":"refs/heads/serras/contexts","pushedAt":"2023-11-15T11:22:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"serras","name":"Alejandro Serrano","path":"/serras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/309334?s=80&v=4"},"commit":{"message":"Start specification of contexts","shortMessageHtmlLink":"Start specification of contexts"}},{"before":"30a03e5ea6a56c8fc008025b1bfd7cd5dff96a05","after":"9d9e3618c21972be441206e522842c9bd1aac944","ref":"refs/heads/gh-pages","pushedAt":"2023-07-31T16:58:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erokhins","name":"Stanislav Erokhin","path":"/erokhins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1935285?s=80&v=4"},"commit":{"message":"Update spec version","shortMessageHtmlLink":"Update spec version"}},{"before":"45db7640b161b42e1da754b0755826b3ae9f8e59","after":"7bb3bfc2dcc9217c54d979a96c7580a164c54cec","ref":"refs/heads/release","pushedAt":"2023-07-28T16:08:51.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into release","shortMessageHtmlLink":"Merge branch 'develop' into release"}},{"before":"6eb9f543187990603318223fa208d77c6b25b914","after":"b7e13e26294f954b69e34b6b0af54f0e0e563879","ref":"refs/heads/develop","pushedAt":"2023-07-28T09:10:38.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Prepare for 1.9 Kotlin spec release","shortMessageHtmlLink":"Prepare for 1.9 Kotlin spec release"}},{"before":"6712d2e74cc5de5a5195c026a38b94ea6f2ee0b6","after":"ffb22b48400cb806f04c521e1d0f4cacecd31657","ref":"refs/heads/kotlin-1.10/KT-54499","pushedAt":"2023-07-26T13:46:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-54499: Allow non-local break/continue expressions in function literals","shortMessageHtmlLink":"KT-54499: Allow non-local break/continue expressions in function lite…"}},{"before":"11e12c73115c914dcbec71666f031df2af1ad777","after":"e69dda002183242d7e2a21294112d6a9cd1e0490","ref":"refs/heads/kotlin-2.1/KT-53427","pushedAt":"2023-07-26T13:46:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-53427: Specify @SubclassOptInRequired\n\nAlso refine other opt-in related annotations a little bit","shortMessageHtmlLink":"KT-53427: Specify @SubclassOptInRequired"}},{"before":"3b6aab31465ecddbb7621362a8cdfb42a99e9a5f","after":"6eb9f543187990603318223fa208d77c6b25b914","ref":"refs/heads/develop","pushedAt":"2023-07-26T13:43:14.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Draft specification for data objects","shortMessageHtmlLink":"Draft specification for data objects"}},{"before":"11e12c73115c914dcbec71666f031df2af1ad777","after":null,"ref":"refs/heads/kotlin-1.9/KT-53427","pushedAt":"2023-07-26T13:31:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"}},{"before":null,"after":"11e12c73115c914dcbec71666f031df2af1ad777","ref":"refs/heads/kotlin-2.1/KT-53427","pushedAt":"2023-07-26T13:31:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-53427: Specify @SubclassOptInRequired\n\nAlso refine other opt-in related annotations a little bit","shortMessageHtmlLink":"KT-53427: Specify @SubclassOptInRequired"}},{"before":"edc7f744d658580f818c1b60fb97792e13f6f3d3","after":"78ae2b79e5ac89816b78e5fc6d7f55f3a2c451e8","ref":"refs/heads/kotlin-1.9/KT-55149","pushedAt":"2023-07-26T13:30:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"Draft specification for data objects","shortMessageHtmlLink":"Draft specification for data objects"}},{"before":"3e3e637852bf995274aea9ef4ec8af468afa8a82","after":"843066781ee1b5df20c67abdeb73b32dfed12206","ref":"refs/heads/kotlin-1.9/KT-54255","pushedAt":"2023-07-26T13:30:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-54255: Specify extension receivers are effectively `noinline`","shortMessageHtmlLink":"KT-54255: Specify extension receivers are effectively <code>noinline</code>"}},{"before":"2fb4c9e71a5ebb6a7cbb3b018ec39d7c23752110","after":"6e5123620b0e4e31005e98619403d5f7191acc01","ref":"refs/heads/kotlin-1.9/KT-54254","pushedAt":"2023-07-26T13:30:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-54254: Refine what \"other annotation type\" means in allowed annotation properties\n\nSpecify an annotation type cannot have itself as a nested element, either directly or indirectly","shortMessageHtmlLink":"KT-54254: Refine what \"other annotation type\" means in allowed annota…"}},{"before":"1f097f58f11f68b43facf4df9a2505a3d26e80b3","after":"cd7e0336584837ca984a6ad4d30233be51348439","ref":"refs/heads/kotlin-1.9/KT-53646","pushedAt":"2023-07-26T13:29:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-53646: Add range-until operator as an option for range expressions","shortMessageHtmlLink":"KT-53646: Add range-until operator as an option for range expressions"}},{"before":"7a801d98f1a856c8b80a3e21b705782c63d49942","after":"65caa1147ac493ffc056d017f52126d3bf1a0d26","ref":"refs/heads/kotlin-1.9/KT-53323","pushedAt":"2023-07-26T13:28:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-53323: Add `entries` property to the enum class declaration\n\nAlso tweak the overload resolution order for calls with an explicit type receiver to discriminate implicitly added (synthetic) callables","shortMessageHtmlLink":"KT-53323: Add <code>entries</code> property to the enum class declaration"}},{"before":"939b6fb08a75973705ec6e6a4dbf7c6b30781550","after":"3b6aab31465ecddbb7621362a8cdfb42a99e9a5f","ref":"refs/heads/develop","pushedAt":"2023-05-26T13:05:59.201Z","pushType":"push","commitsCount":1,"pusher":{"login":"ice-phoenix","name":"Marat Akhin","path":"/ice-phoenix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1929610?s=80&v=4"},"commit":{"message":"KT-58932: add the overload candidate set priority for the `T::f` callable reference resolution","shortMessageHtmlLink":"KT-58932: add the overload candidate set priority for the <code>T::f</code> call…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEolhmUwA","startCursor":null,"endCursor":null}},"title":"Activity · Kotlin/kotlin-spec"}