{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":640425778,"defaultBranch":"main","name":"vscode-lean4-code-actions","ownerLogin":"DenisGorbachev","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-14T03:34:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/829578?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710598862.0","currentOid":""},"activityList":{"items":[{"before":"53e046b32694a67b7b232127cbc034fe8bed2306","after":"593525270d52a8ad9792c6456ab386f939cdf2be","ref":"refs/heads/main","pushedAt":"2024-04-29T13:19:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Merge pull request #22 from joneugster/fix_excluded_dir\n\nDidn't spend a second on testing either, but I think the fix is correct.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269024797\" data-permission-text=\"Title is private\" data-url=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/DenisGorbachev/vscode-lean4-code-actions/pull/22/hovercard\" href=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/pull/22\">#22</a> from joneugster/fix_excluded_dir"}},{"before":"9bfb17b51c5b51f3f9771bf33ff51b56630283f0","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/follow-redirects-1.15.4","pushedAt":"2024-03-16T14:21:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"ec225fe084b67d83c9a3e41b2801fd4359e13d5c","ref":"refs/heads/dependabot/npm_and_yarn/follow-redirects-1.15.6","pushedAt":"2024-03-16T14:20:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump follow-redirects from 1.15.2 to 1.15.6\n\nBumps [follow-redirects](https://github.com/follow-redirects/follow-redirects) from 1.15.2 to 1.15.6.\n- [Release notes](https://github.com/follow-redirects/follow-redirects/releases)\n- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.2...v1.15.6)\n\n---\nupdated-dependencies:\n- dependency-name: follow-redirects\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump follow-redirects from 1.15.2 to 1.15.6"}},{"before":null,"after":"9bfb17b51c5b51f3f9771bf33ff51b56630283f0","ref":"refs/heads/dependabot/npm_and_yarn/follow-redirects-1.15.4","pushedAt":"2024-01-10T22:00:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump follow-redirects from 1.15.2 to 1.15.4\n\nBumps [follow-redirects](https://github.com/follow-redirects/follow-redirects) from 1.15.2 to 1.15.4.\n- [Release notes](https://github.com/follow-redirects/follow-redirects/releases)\n- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.2...v1.15.4)\n\n---\nupdated-dependencies:\n- dependency-name: follow-redirects\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump follow-redirects from 1.15.2 to 1.15.4"}},{"before":"5ae580c1c24f4445c1c52853a913fe7dce7db902","after":"53e046b32694a67b7b232127cbc034fe8bed2306","ref":"refs/heads/main","pushedAt":"2023-10-21T09:36:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Refactor getUntilParse","shortMessageHtmlLink":"Refactor getUntilParse"}},{"before":"d15d137c43f36d1c2deb7a927804fe8c1e588ca8","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/zod-3.22.3","pushedAt":"2023-10-20T06:16:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"3a2bf0a6105225798e05a221a79c349ce4cafaef","after":"5ae580c1c24f4445c1c52853a913fe7dce7db902","ref":"refs/heads/main","pushedAt":"2023-10-20T06:16:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Merge pull request #17 from DenisGorbachev/dependabot/npm_and_yarn/zod-3.22.3\n\nBump zod from 3.21.4 to 3.22.3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1930297586\" data-permission-text=\"Title is private\" data-url=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/DenisGorbachev/vscode-lean4-code-actions/pull/17/hovercard\" href=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/pull/17\">#17</a> from DenisGorbachev/dependabot/npm_and_yarn/zo…"}},{"before":"b502a7935bb28372e2f5b14bd8424e4530d6b487","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/babel/traverse-7.23.2","pushedAt":"2023-10-20T06:16:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"ad290d1a02c6958a8ef36d649d4817afa5e6c655","after":"3a2bf0a6105225798e05a221a79c349ce4cafaef","ref":"refs/heads/main","pushedAt":"2023-10-20T06:16:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Merge pull request #18 from DenisGorbachev/dependabot/npm_and_yarn/babel/traverse-7.23.2\n\nBump @babel/traverse from 7.22.8 to 7.23.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1952114570\" data-permission-text=\"Title is private\" data-url=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/DenisGorbachev/vscode-lean4-code-actions/pull/18/hovercard\" href=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/pull/18\">#18</a> from DenisGorbachev/dependabot/npm_and_yarn/ba…"}},{"before":"6f29c438bbb6849837d568e1c797f56ef36627e9","after":"ad290d1a02c6958a8ef36d649d4817afa5e6c655","ref":"refs/heads/main","pushedAt":"2023-10-20T06:15:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Refactor getUntilParse","shortMessageHtmlLink":"Refactor getUntilParse"}},{"before":null,"after":"b502a7935bb28372e2f5b14bd8424e4530d6b487","ref":"refs/heads/dependabot/npm_and_yarn/babel/traverse-7.23.2","pushedAt":"2023-10-19T12:23:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump @babel/traverse from 7.22.8 to 7.23.2\n\nBumps [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) from 7.22.8 to 7.23.2.\n- [Release notes](https://github.com/babel/babel/releases)\n- [Changelog](https://github.com/babel/babel/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/babel/babel/commits/v7.23.2/packages/babel-traverse)\n\n---\nupdated-dependencies:\n- dependency-name: \"@babel/traverse\"\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump @babel/traverse from 7.22.8 to 7.23.2"}},{"before":"4f4a82b235ba8c0d44c1ec193687492764ed75f1","after":"6f29c438bbb6849837d568e1c797f56ef36627e9","ref":"refs/heads/main","pushedAt":"2023-10-11T11:06:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Move IterableIterator functions","shortMessageHtmlLink":"Move IterableIterator functions"}},{"before":"5932b2fb3803f1640b0579c7d42fa0adac4f33cc","after":"4f4a82b235ba8c0d44c1ec193687492764ed75f1","ref":"refs/heads/main","pushedAt":"2023-10-10T09:00:52.000Z","pushType":"push","commitsCount":17,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Implement renameDefinition","shortMessageHtmlLink":"Implement renameDefinition"}},{"before":"778006b932a08466e1cebf1541157148058c26c6","after":"5932b2fb3803f1640b0579c7d42fa0adac4f33cc","ref":"refs/heads/main","pushedAt":"2023-10-08T14:39:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Fix snippets & autoImport","shortMessageHtmlLink":"Fix snippets &amp; autoImport"}},{"before":"f79dda11f3e010267eab09f90d4b18ae3cd66d6a","after":"778006b932a08466e1cebf1541157148058c26c6","ref":"refs/heads/main","pushedAt":"2023-10-07T11:13:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Fix autoImport","shortMessageHtmlLink":"Fix autoImport"}},{"before":null,"after":"d15d137c43f36d1c2deb7a927804fe8c1e588ca8","ref":"refs/heads/dependabot/npm_and_yarn/zod-3.22.3","pushedAt":"2023-10-06T14:29:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump zod from 3.21.4 to 3.22.3\n\nBumps [zod](https://github.com/colinhacks/zod) from 3.21.4 to 3.22.3.\n- [Release notes](https://github.com/colinhacks/zod/releases)\n- [Changelog](https://github.com/colinhacks/zod/blob/master/CHANGELOG.md)\n- [Commits](https://github.com/colinhacks/zod/compare/v3.21.4...v3.22.3)\n\n---\nupdated-dependencies:\n- dependency-name: zod\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump zod from 3.21.4 to 3.22.3"}},{"before":"9e8d4c524e2b0db3db17a48661ce597495ccaed4","after":"f79dda11f3e010267eab09f90d4b18ae3cd66d6a","ref":"refs/heads/main","pushedAt":"2023-10-06T14:28:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Improve createNewFile","shortMessageHtmlLink":"Improve createNewFile"}},{"before":"2f0186a504b5ee947a3028c2fd14bc9e47e2a7e1","after":null,"ref":"refs/heads/dependabot/npm_and_yarn/get-func-name-2.0.2","pushedAt":"2023-09-28T10:18:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"}},{"before":"0a8d321a0e490164b31475724fc2b64a9b2fb5cf","after":"9e8d4c524e2b0db3db17a48661ce597495ccaed4","ref":"refs/heads/main","pushedAt":"2023-09-28T10:18:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Merge pull request #16 from DenisGorbachev/dependabot/npm_and_yarn/get-func-name-2.0.2\n\nBump get-func-name from 2.0.0 to 2.0.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1916498220\" data-permission-text=\"Title is private\" data-url=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/DenisGorbachev/vscode-lean4-code-actions/pull/16/hovercard\" href=\"https://github.com/DenisGorbachev/vscode-lean4-code-actions/pull/16\">#16</a> from DenisGorbachev/dependabot/npm_and_yarn/ge…"}},{"before":"14ac2f17dbce5e1e935faac260ec7aacd0e304b4","after":"0a8d321a0e490164b31475724fc2b64a9b2fb5cf","ref":"refs/heads/main","pushedAt":"2023-09-28T10:17:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Minor improvements; new live template","shortMessageHtmlLink":"Minor improvements; new live template"}},{"before":null,"after":"2f0186a504b5ee947a3028c2fd14bc9e47e2a7e1","ref":"refs/heads/dependabot/npm_and_yarn/get-func-name-2.0.2","pushedAt":"2023-09-27T23:51:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump get-func-name from 2.0.0 to 2.0.2\n\nBumps [get-func-name](https://github.com/chaijs/get-func-name) from 2.0.0 to 2.0.2.\n- [Release notes](https://github.com/chaijs/get-func-name/releases)\n- [Commits](https://github.com/chaijs/get-func-name/commits/v2.0.2)\n\n---\nupdated-dependencies:\n- dependency-name: get-func-name\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump get-func-name from 2.0.0 to 2.0.2"}},{"before":"19998c4600263f9cc67e7a8f703d60f2fa7f40b1","after":"14ac2f17dbce5e1e935faac260ec7aacd0e304b4","ref":"refs/heads/main","pushedAt":"2023-09-18T09:26:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Fix getShortNameFromType to remove the version from the end","shortMessageHtmlLink":"Fix getShortNameFromType to remove the version from the end"}},{"before":"7642d861d96a65f55044f2453d7f53be03fbe907","after":"19998c4600263f9cc67e7a8f703d60f2fa7f40b1","ref":"refs/heads/main","pushedAt":"2023-09-15T09:50:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"1.1.22","shortMessageHtmlLink":"1.1.22"}},{"before":"6d0f544a6bc10ce6f338b7a279f640ab78340d9b","after":"7642d861d96a65f55044f2453d7f53be03fbe907","ref":"refs/heads/main","pushedAt":"2023-09-15T09:37:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"New command: lean4CodeActions.createNewFileSet","shortMessageHtmlLink":"New command: lean4CodeActions.createNewFileSet"}},{"before":"b8637dee4a5c5176ff8705e5f9058b0e2aed2d2f","after":"6d0f544a6bc10ce6f338b7a279f640ab78340d9b","ref":"refs/heads/main","pushedAt":"2023-09-07T03:58:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Improve config handling","shortMessageHtmlLink":"Improve config handling"}},{"before":"c3eb1105e13ddfc0f4f25be8a5b25c4ea6289cfd","after":"b8637dee4a5c5176ff8705e5f9058b0e2aed2d2f","ref":"refs/heads/main","pushedAt":"2023-09-05T09:08:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Minor fixes","shortMessageHtmlLink":"Minor fixes"}},{"before":"b3566489a8d87ebbc55e79984c28bff92e45bfa5","after":"c3eb1105e13ddfc0f4f25be8a5b25c4ea6289cfd","ref":"refs/heads/main","pushedAt":"2023-09-01T13:38:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Fix onDidRenameFiles","shortMessageHtmlLink":"Fix onDidRenameFiles"}},{"before":"e33f2ac25162c42e6d9db689fd1571715957a962","after":"b3566489a8d87ebbc55e79984c28bff92e45bfa5","ref":"refs/heads/main","pushedAt":"2023-08-31T13:44:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Fix onDidRenameFiles","shortMessageHtmlLink":"Fix onDidRenameFiles"}},{"before":"ce51327872e240ded056d9ae1c5ca7aedfa162e3","after":"e33f2ac25162c42e6d9db689fd1571715957a962","ref":"refs/heads/main","pushedAt":"2023-08-28T07:48:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"ccde834c6cd58c4ba3634315aad4f3e7f4dc69b6","after":"ce51327872e240ded056d9ae1c5ca7aedfa162e3","ref":"refs/heads/main","pushedAt":"2023-08-28T07:45:43.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"Implement updateImports","shortMessageHtmlLink":"Implement updateImports"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPP8RhwA","startCursor":null,"endCursor":null}},"title":"Activity · DenisGorbachev/vscode-lean4-code-actions"}