{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":96068447,"defaultBranch":"master","name":"intellij-arend","ownerLogin":"JetBrains","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-03T03:53:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/878437?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720206216.0","currentOid":""},"activityList":{"items":[{"before":"37b0871a44885799782be8a486863ed537c7cf9a","after":"1eaf7ebfc98570a2e7b623b8b5271241bca92cd6","ref":"refs/heads/master","pushedAt":"2024-07-16T11:55:03.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #536 from alex999990009/alex99999/fixes\n\nFix exceptions, visual texts and a menu item in the toolbar","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410599070\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/536\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/536/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/536\">#536</a> from alex999990009/alex99999/fixes"}},{"before":"74539247624f2400e6c8137b8fbcd9795e454090","after":"37b0871a44885799782be8a486863ed537c7cf9a","ref":"refs/heads/master","pushedAt":"2024-07-15T13:04:51.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #534 from alex999990009/alex99999/fixes\n\nFix Arend proof searcher, the bug with {?} and patternmatching on constructors","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2408633561\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/534\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/534/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/534\">#534</a> from alex999990009/alex99999/fixes"}},{"before":"3e5e184119933b64bd9d5c942196aaf605905db4","after":"74539247624f2400e6c8137b8fbcd9795e454090","ref":"refs/heads/master","pushedAt":"2024-07-12T18:27:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Increase Intellij memory quota","shortMessageHtmlLink":"Increase Intellij memory quota"}},{"before":"de83e985eb9164ec7b48bb0342d8c7954f1d6606","after":"3e5e184119933b64bd9d5c942196aaf605905db4","ref":"refs/heads/master","pushedAt":"2024-07-05T19:03:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"v1.10","shortMessageHtmlLink":"v1.10"}},{"before":"44a2023f1871f143ec1ade2d0082463859817e08","after":"de83e985eb9164ec7b48bb0342d8c7954f1d6606","ref":"refs/heads/master","pushedAt":"2024-07-05T11:03:47.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #530 from alex999990009/alex99999/fixes\n\nFix exceptions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392347321\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/530\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/530/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/530\">#530</a> from alex999990009/alex99999/fixes"}},{"before":"31dad759df5cd6d11922f56987febd6e9ff249f3","after":"44a2023f1871f143ec1ade2d0082463859817e08","ref":"refs/heads/master","pushedAt":"2024-07-05T09:18:34.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #529 from alex999990009/alex99999/fixes-2\n\nFixes with graph visualization and html generation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392099289\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/529\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/529/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/529\">#529</a> from alex999990009/alex99999/fixes-2"}},{"before":"4648b84acf6ba988a94690d1379e454e1e09a246","after":"31dad759df5cd6d11922f56987febd6e9ff249f3","ref":"refs/heads/master","pushedAt":"2024-07-04T11:35:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix the scope in run configuration","shortMessageHtmlLink":"Fix the scope in run configuration"}},{"before":"cf34205cfa84e3865e1a473ffbe24e40d095b74b","after":"4648b84acf6ba988a94690d1379e454e1e09a246","ref":"refs/heads/master","pushedAt":"2024-07-03T11:22:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #524 from alex999990009/alex99999/fixes\n\nFix #349 and #415","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2386927112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/524\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/524/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/524\">#524</a> from alex999990009/alex99999/fixes"}},{"before":"8e2f609058e4ac33407e4961152e66536bb9adfa","after":"cf34205cfa84e3865e1a473ffbe24e40d095b74b","ref":"refs/heads/master","pushedAt":"2024-07-01T12:02:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Do not show class fields in Ctrl+Q","shortMessageHtmlLink":"Do not show class fields in Ctrl+Q"}},{"before":"f0ac6d43619d831005d7f1aeb0f599e06491bffa","after":"8e2f609058e4ac33407e4961152e66536bb9adfa","ref":"refs/heads/master","pushedAt":"2024-06-28T15:44:06.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #523 from alex999990009/alex99999/fixes\n\nFix Run Configurations problems","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2380668237\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/523\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/523/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/523\">#523</a> from alex999990009/alex99999/fixes"}},{"before":"5962aa12097f680c76c25ce1281c75520c80fd2f","after":"f0ac6d43619d831005d7f1aeb0f599e06491bffa","ref":"refs/heads/master","pushedAt":"2024-06-28T07:54:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Restart typechecking in smart mode correctly","shortMessageHtmlLink":"Restart typechecking in smart mode correctly"}},{"before":"09f2b9ec528ef7844fb302b37e689bdb56c421ec","after":"5962aa12097f680c76c25ce1281c75520c80fd2f","ref":"refs/heads/master","pushedAt":"2024-06-26T12:30:16.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #522 from alex999990009/alex99999/fixes\n\nFix goto, run configuration and slow operations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2374781970\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/522\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/522/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/522\">#522</a> from alex999990009/alex99999/fixes"}},{"before":"6ff02136a66664e1d914a8f187f0919d66166e72","after":"09f2b9ec528ef7844fb302b37e689bdb56c421ec","ref":"refs/heads/master","pushedAt":"2024-06-21T13:04:33.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #521 from alex999990009/alex99999/fixes\n\nFix tracer","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2366428284\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/521\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/521/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/521\">#521</a> from alex999990009/alex99999/fixes"}},{"before":"46b76b4abe947836abf1fa81a420baa91a274c47","after":"6ff02136a66664e1d914a8f187f0919d66166e72","ref":"refs/heads/master","pushedAt":"2024-06-19T16:56:47.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #520 from alex999990009/alex99999/exceptions\n\nFix PluginExceptions and SlowOperations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2362744536\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/520\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/520/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/520\">#520</a> from alex999990009/alex99999/exceptions"}},{"before":"a8f0c5dcfa4c6ce65922fcff0deb5ba6e657cea7","after":"46b76b4abe947836abf1fa81a420baa91a274c47","ref":"refs/heads/master","pushedAt":"2024-06-18T18:40:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Fix highlighting of the prelude and generated files","shortMessageHtmlLink":"Fix highlighting of the prelude and generated files"}},{"before":"58a4c17310707da208dff1d323b695fcaa76cc4c","after":"a8f0c5dcfa4c6ce65922fcff0deb5ba6e657cea7","ref":"refs/heads/master","pushedAt":"2024-06-18T16:37:17.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Improve error range","shortMessageHtmlLink":"Improve error range"}},{"before":"8825bd42ac780e2c91c93f7f6de1173beba5025d","after":"58a4c17310707da208dff1d323b695fcaa76cc4c","ref":"refs/heads/master","pushedAt":"2024-06-18T12:33:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #518 from alex999990009/alex99999/warnings\n\nFix new and some old warnings","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2359456990\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/518\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/518/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/518\">#518</a> from alex999990009/alex99999/warnings"}},{"before":"5353fa0a662664f43f961bd950c41728aeb1ce0f","after":"8825bd42ac780e2c91c93f7f6de1173beba5025d","ref":"refs/heads/master","pushedAt":"2024-06-17T20:55:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"valis","name":null,"path":"/valis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/623606?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"c3281a71ee65410efda7ab5c8a743b2dffe8fab6","after":"5353fa0a662664f43f961bd950c41728aeb1ce0f","ref":"refs/heads/master","pushedAt":"2024-06-17T12:30:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #516 from alex999990009/alex99999/fixes\n\nMini fixes Arend Actions and typechecking Test.ard","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357160649\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/516\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/516/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/516\">#516</a> from alex999990009/alex99999/fixes"}},{"before":"6e3507f8a7de4b5ffab27d23e5ff7c97dec4998e","after":"c3281a71ee65410efda7ab5c8a743b2dffe8fab6","ref":"refs/heads/master","pushedAt":"2024-06-14T13:34:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Fix #510","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #510.\">Fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2340453334\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/510\" data-hovercard-type=\"issue\" data-hovercard-url=\"/JetBrains/intellij-arend/issues/510/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/issues/510\">#510</a>"}},{"before":"8d0df34f7724f774b5d1bca96d421b983da9ec9b","after":"6e3507f8a7de4b5ffab27d23e5ff7c97dec4998e","ref":"refs/heads/master","pushedAt":"2024-06-13T10:51:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #515 from alex999990009/alex99999/fixes\n\nFix typechecking bugs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2350581153\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/515\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/515/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/515\">#515</a> from alex999990009/alex99999/fixes"}},{"before":"33aa329952753bbf428b04e78db21ce1c9169fc4","after":"8d0df34f7724f774b5d1bca96d421b983da9ec9b","ref":"refs/heads/master","pushedAt":"2024-06-12T18:11:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #514 from alex999990009/alex99999/fixes\n\nFix #496 and mini fix in AllArendFilesAndPackagesScope","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2348881558\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/514\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/514/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/514\">#514</a> from alex999990009/alex99999/fixes"}},{"before":"e580e916150f5f696ed782e9345bce112fa99448","after":"33aa329952753bbf428b04e78db21ce1c9169fc4","ref":"refs/heads/master","pushedAt":"2024-06-12T13:23:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #513 from alex999990009/alex99999/fixes\n\nFix RedundantParameterInspection and ArendProofSearchRenderer","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2348671317\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/513\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/513/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/513\">#513</a> from alex999990009/alex99999/fixes"}},{"before":"8643c4adfd7b5eaec8e7d39db6eb5e15af26c650","after":"e580e916150f5f696ed782e9345bce112fa99448","ref":"refs/heads/master","pushedAt":"2024-06-10T17:00:52.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #512 from alex999990009/alex99999/fixes\n\nFix SlowOperations, graph visualization and scope of all files","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2344370970\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/512\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/512/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/512\">#512</a> from alex999990009/alex99999/fixes"}},{"before":"07cacd5273a6421be4cdf43ff6949df40468d85a","after":"8643c4adfd7b5eaec8e7d39db6eb5e15af26c650","ref":"refs/heads/master","pushedAt":"2024-06-10T14:38:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #511 from alex999990009/alex99999/redundant-parameter-inspection\n\nFix redundant parameter from highlight to inspection","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2343292322\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/511\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/511/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/511\">#511</a> from alex999990009/alex99999/redundant-parame…"}},{"before":"6bd2a1d3bbd647417bf08e9d83229ab8d5188547","after":"07cacd5273a6421be4cdf43ff6949df40468d85a","ref":"refs/heads/master","pushedAt":"2024-06-07T17:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Make NameCalculatorUtils aware of the contents of class ancestors","shortMessageHtmlLink":"Make NameCalculatorUtils aware of the contents of class ancestors"}},{"before":"65ebb6e3a01a3e79f5f3cf1b026b8927b7b7d196","after":"6bd2a1d3bbd647417bf08e9d83229ab8d5188547","ref":"refs/heads/master","pushedAt":"2024-06-07T14:45:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Fix bugs in MoveRefactoring","shortMessageHtmlLink":"Fix bugs in MoveRefactoring"}},{"before":"9d584747668c7e9c0122c7a653559ce98407b788","after":"65ebb6e3a01a3e79f5f3cf1b026b8927b7b7d196","ref":"refs/heads/master","pushedAt":"2024-06-06T20:26:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Merge pull request #509 from alex999990009/alex99999/run-configuration-dir\n\nFix #499","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337550797\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JetBrains/intellij-arend/issues/509\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JetBrains/intellij-arend/pull/509/hovercard\" href=\"https://github.com/JetBrains/intellij-arend/pull/509\">#509</a> from alex999990009/alex99999/run-configuratio…"}},{"before":"9d584747668c7e9c0122c7a653559ce98407b788","after":null,"ref":"refs/heads/issue","pushedAt":"2024-06-06T15:31:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"}},{"before":"1f7146fbd9ad6edd79419831c16f7d848e7ba366","after":"9d584747668c7e9c0122c7a653559ce98407b788","ref":"refs/heads/master","pushedAt":"2024-06-06T15:31:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sxhya","name":"Sergey Sinchuk","path":"/sxhya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7237597?s=80&v=4"},"commit":{"message":"Fix reported issue with classfield imports","shortMessageHtmlLink":"Fix reported issue with classfield imports"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgLdjNQA","startCursor":null,"endCursor":null}},"title":"Activity · JetBrains/intellij-arend"}