{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":196869490,"defaultBranch":"master","name":"vscode-tlaplus","ownerLogin":"tlaplus","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-07-14T18:21:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2684289?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723740700.0","currentOid":""},"activityList":{"items":[{"before":"bf19412eae186fa420ddcdd80972320d345a034f","after":"cd0eaa83bdd2d927a850218ac604121b067d3786","ref":"refs/heads/master","pushedAt":"2024-09-19T14:24:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Publish to OpenVSX\n\n(old extension had >50k downloads)\n\nPar of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318#issuecomment-2360308111\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Publish to OpenVSX"}},{"before":"76d20bdced8d999e7af48301dfa2cd5c39262d95","after":"bf19412eae186fa420ddcdd80972320d345a034f","ref":"refs/heads/master","pushedAt":"2024-09-19T14:15:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Deprecation of older Github upload actions.\n\nhttps://github.blog/changelog/2024-02-13-deprecation-notice-v1-and-v2-of-the-artifact-actions/\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Deprecation of older Github upload actions."}},{"before":"22c3497b572ee9b354d1245758de272e9cf008ab","after":"76d20bdced8d999e7af48301dfa2cd5c39262d95","ref":"refs/heads/master","pushedAt":"2024-09-19T14:11:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Publish to OpenVSX\n\n(old extension had >50k downloads)\n\nPar of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318#issuecomment-2360308111\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Publish to OpenVSX"}},{"before":"0cce9acbb8f328e641f5200544437e2b76702cc5","after":"22c3497b572ee9b354d1245758de272e9cf008ab","ref":"refs/heads/master","pushedAt":"2024-08-29T19:58:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"fix: var names\n\nSigned-off-by: Afonso Fernandes <21228942+afonsonf@users.noreply.github.com>","shortMessageHtmlLink":"fix: var names"}},{"before":"7033b8fa0274dc797072ef198e6a42d695ebf69d","after":"0cce9acbb8f328e641f5200544437e2b76702cc5","ref":"refs/heads/master","pushedAt":"2024-08-21T15:56:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Fix \"invalid extension id\" in README.md status badge url.","shortMessageHtmlLink":"Fix \"invalid extension id\" in README.md status badge url."}},{"before":"069d5c4274aa1a7c918aa5c4fc7a7c194197397a","after":"7033b8fa0274dc797072ef198e6a42d695ebf69d","ref":"refs/heads/master","pushedAt":"2024-08-17T06:34:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Better VSCode publisher and extension names.\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Better VSCode publisher and extension names."}},{"before":"2866e7941dc796dc73e468740febfae4f69c1131","after":"069d5c4274aa1a7c918aa5c4fc7a7c194197397a","ref":"refs/heads/master","pushedAt":"2024-08-16T07:37:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\"\nwith \"tlaplus-lang.tlaplus-lang\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\""}},{"before":"139eebfa540c4e34cec13b6ad555decafd392a38","after":"2866e7941dc796dc73e468740febfae4f69c1131","ref":"refs/heads/master","pushedAt":"2024-08-16T07:35:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\"\nwith \"tlaplus-lang.tlaplus-lang\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\""}},{"before":"8f5ead88fa64c43cff486ca30eceda046d810b67","after":"139eebfa540c4e34cec13b6ad555decafd392a38","ref":"refs/heads/master","pushedAt":"2024-08-16T07:26:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\"\nwith \"tlaplus-lang.tlaplus-lang\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\""}},{"before":"283e2c7a90c47cdd894cf6bd4fd09429ea596b1e","after":"8f5ead88fa64c43cff486ca30eceda046d810b67","ref":"refs/heads/master","pushedAt":"2024-08-16T06:20:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\"\nwith \"tlaplus-lang.tlaplus-lang\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\""}},{"before":"cd7ea6e6b4e3a004269aec1cd7df4d7aea7c6a2c","after":"283e2c7a90c47cdd894cf6bd4fd09429ea596b1e","ref":"refs/heads/master","pushedAt":"2024-08-16T06:11:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\"\nwith \"tlaplus-lang.vscode-tlaplus\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Replace \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\""}},{"before":"0d0be6beee2d72f62bb58cd374678eeb04279eb6","after":"cd7ea6e6b4e3a004269aec1cd7df4d7aea7c6a2c","ref":"refs/heads/master","pushedAt":"2024-08-15T17:19:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"cc4ffea84696a9e3f973b4b8d8f082df87598b48","after":"0d0be6beee2d72f62bb58cd374678eeb04279eb6","ref":"refs/heads/master","pushedAt":"2024-08-15T17:17:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"30b86e4ace64f76fb2674255e1061e96ceac8365","after":"cc4ffea84696a9e3f973b4b8d8f082df87598b48","ref":"refs/heads/master","pushedAt":"2024-08-15T17:07:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"79196b0520b96a32f0a7b76fe9e31fc4edaecdf3","after":"30b86e4ace64f76fb2674255e1061e96ceac8365","ref":"refs/heads/master","pushedAt":"2024-08-15T17:02:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"26802ed36062f85ae5d74ccc1b115b8c18e2fef1","after":"79196b0520b96a32f0a7b76fe9e31fc4edaecdf3","ref":"refs/heads/master","pushedAt":"2024-08-15T16:47:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"d26855abce31a66caab0f9034ba0db2f7d7c276a","after":"26802ed36062f85ae5d74ccc1b115b8c18e2fef1","ref":"refs/heads/master","pushedAt":"2024-08-15T16:44:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"1d81adb629aa64a5215afbd952674786c04b9a9f","after":null,"ref":"refs/heads/mku-OneRelease","pushedAt":"2024-08-15T16:38:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"}},{"before":"d2e1743cfe4d5cba7f204736eeafcc7cd2e11eed","after":"d26855abce31a66caab0f9034ba0db2f7d7c276a","ref":"refs/heads/master","pushedAt":"2024-08-15T16:38:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"b9fd7c5f5f087010235578b06d6bf28d925f8b3b","after":"1d81adb629aa64a5215afbd952674786c04b9a9f","ref":"refs/heads/mku-OneRelease","pushedAt":"2024-08-15T16:30:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"0ca66875b377b0d7c40fe28d35a06ed532cd0cff","after":"b9fd7c5f5f087010235578b06d6bf28d925f8b3b","ref":"refs/heads/mku-OneRelease","pushedAt":"2024-08-08T13:38:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":null,"after":"0ca66875b377b0d7c40fe28d35a06ed532cd0cff","ref":"refs/heads/mku-OneRelease","pushedAt":"2024-08-08T11:17:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lemmy","name":"Markus Alexander Kuppe","path":"/lemmy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88777?s=80&v=4"},"commit":{"message":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on Marketplace.\n\nPart of Github issue #318\nhttps://github.com/tlaplus/vscode-tlaplus/issues/318\n\n[Build]\n\nSigned-off-by: Markus Alexander Kuppe ","shortMessageHtmlLink":"Merge \"alygin.vscode-tlaplus\" and \"alygin.vscode-tlaplus-nightly\" on …"}},{"before":"5e032cf00f92083b7a7a2bb960f4134497119bf3","after":null,"ref":"refs/heads/module-paths","pushedAt":"2024-02-04T06:29:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"}},{"before":"766ee9869b6e1f55eba949966f3df9ae2751a6ae","after":"d2e1743cfe4d5cba7f204736eeafcc7cd2e11eed","ref":"refs/heads/master","pushedAt":"2024-02-04T06:29:25.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Merge pull request #325 from tlaplus/module-paths\n\nModule search paths can be shared between tools.","shortMessageHtmlLink":"Merge pull request #325 from tlaplus/module-paths"}},{"before":"16ebbce302dc0a81e5c717e81525a36179825571","after":"5e032cf00f92083b7a7a2bb960f4134497119bf3","ref":"refs/heads/module-paths","pushedAt":"2024-02-03T20:10:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Add community modules to the paths supplied by TLC.\n\nSigned-off-by: Karolis Petrauskas ","shortMessageHtmlLink":"Add community modules to the paths supplied by TLC."}},{"before":null,"after":"16ebbce302dc0a81e5c717e81525a36179825571","ref":"refs/heads/module-paths","pushedAt":"2024-02-03T15:33:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Module search paths can be shared between tools.\n\nSigned-off-by: Karolis Petrauskas ","shortMessageHtmlLink":"Module search paths can be shared between tools."}},{"before":"829a87ae05cd40a2d5a92d67f8a68bbf20023bd8","after":null,"ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-31T14:53:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"}},{"before":"56daa35a87cb7656281a5ab001fd71b9e72e3a23","after":"766ee9869b6e1f55eba949966f3df9ae2751a6ae","ref":"refs/heads/master","pushedAt":"2024-01-31T14:53:06.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Merge pull request #322 from tlaplus/tlaps-proof-state-v2\n\nAdapt to changes in the lsp server.","shortMessageHtmlLink":"Merge pull request #322 from tlaplus/tlaps-proof-state-v2"}},{"before":"6d9a1f2091f437e30617ab023f7fedbd0d9d33cd","after":"829a87ae05cd40a2d5a92d67f8a68bbf20023bd8","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-31T07:32:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Cleanup after a review.\n\nSigned-off-by: Karolis Petrauskas ","shortMessageHtmlLink":"Cleanup after a review."}},{"before":"38aa440e55c08afcbf68212e0b4dc7c6215a3c16","after":"6d9a1f2091f437e30617ab023f7fedbd0d9d33cd","ref":"refs/heads/tlaps-proof-state-v2","pushedAt":"2024-01-29T22:04:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kape1395","name":"Karolis Petrauskas","path":"/kape1395","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/442726?s=80&v=4"},"commit":{"message":"Restore accidentally broken formatting.\n\nSigned-off-by: Karolis Petrauskas ","shortMessageHtmlLink":"Restore accidentally broken formatting."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNDoyNDo1MS4wMDAwMDBazwAAAAS69sjn","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNDoyNDo1MS4wMDAwMDBazwAAAAS69sjn","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yOVQyMjowNDo1NS4wMDAwMDBazwAAAAPsT2lL"}},"title":"Activity · tlaplus/vscode-tlaplus"}