{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":100691958,"defaultBranch":"master","name":"agda-language-server","ownerLogin":"agda","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-08-18T08:42:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/410000?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1702570922.0","currentOid":""},"activityList":{"items":[{"before":"c630eaca026267c349a9b27fef619da39ab56af1","after":"d6a02745a554871b6db24217ccc494bc6d46a904","ref":"refs/heads/master","pushedAt":"2023-12-16T07:51:48.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ git ] Merge branch 'agda-2.6.4'","shortMessageHtmlLink":"[ git ] Merge branch 'agda-2.6.4'"}},{"before":"7b5d33d0985f509d06b9efc4a67f93a8ed32b8ba","after":"db6ae5db91e46a5d5de6170197050589a59f50b8","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-14T16:21:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ new ] Release v0.2.6.4.0.3","shortMessageHtmlLink":"[ new ] Release v0.2.6.4.0.3"}},{"before":"f685bda6aec7f214b5637a999292548496b1b0af","after":"7b5d33d0985f509d06b9efc4a67f93a8ed32b8ba","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-14T16:05:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ fix ] Set encoding of `stderr` to `utf8`","shortMessageHtmlLink":"[ fix ] Set encoding of <code>stderr</code> to <code>utf8</code>"}},{"before":"ebfdf18c3a2b330b1ba7780ffceb0a082a67313e","after":"f685bda6aec7f214b5637a999292548496b1b0af","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-14T15:44:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ fix ] Patch path to the \"data\" directory when the executable is built on GitHub Actions","shortMessageHtmlLink":"[ fix ] Patch path to the \"data\" directory when the executable is bui…"}},{"before":"85d8292bd15ceb2129d9d064316eb4ada04a12e9","after":null,"ref":"refs/tags/v0.2.6.4.0","pushedAt":"2023-12-12T14:50:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"}},{"before":"e2925cfdcb4d3a4c7731075f30326d3e3fa871ca","after":null,"ref":"refs/tags/v0.2.6.4.1","pushedAt":"2023-12-12T14:50:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"}},{"before":"0e18ff229d25c1ccf9f127a394dd38308b3a5cb5","after":"ebfdf18c3a2b330b1ba7780ffceb0a082a67313e","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-12T14:47:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ new ] Release v0.2.6.4.0.1","shortMessageHtmlLink":"[ new ] Release v0.2.6.4.0.1"}},{"before":"85d8292bd15ceb2129d9d064316eb4ada04a12e9","after":null,"ref":"refs/tags/v0.2.6.4.0","pushedAt":"2023-12-11T16:25:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"}},{"before":"e2925cfdcb4d3a4c7731075f30326d3e3fa871ca","after":null,"ref":"refs/tags/v0.2.6.4.1","pushedAt":"2023-12-11T16:25:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"}},{"before":"e2925cfdcb4d3a4c7731075f30326d3e3fa871ca","after":"0e18ff229d25c1ccf9f127a394dd38308b3a5cb5","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-11T16:23:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ new ] Fix the versioning and release v0.2.6.4.0.0","shortMessageHtmlLink":"[ new ] Fix the versioning and release v0.2.6.4.0.0"}},{"before":"85d8292bd15ceb2129d9d064316eb4ada04a12e9","after":"e2925cfdcb4d3a4c7731075f30326d3e3fa871ca","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-11T14:46:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ dep ] Bump version to v0.2.6.4.1","shortMessageHtmlLink":"[ dep ] Bump version to v0.2.6.4.1"}},{"before":"ce0623f7b3ce9159ca90b026f8b85fff6bd3675a","after":"c630eaca026267c349a9b27fef619da39ab56af1","ref":"refs/heads/master","pushedAt":"2023-12-10T14:57:47.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ git ] Merge pull request #22 from agda/agda-2.6.4\n\nagda 2.6.4","shortMessageHtmlLink":"[ git ] Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2017997272\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agda/agda-language-server/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/agda/agda-language-server/pull/22/hovercard\" href=\"https://github.com/agda/agda-language-server/pull/22\">#22</a> from agda/agda-2.6.4"}},{"before":"6763b67f81baa297f9b897799a6edacbaf6366d7","after":"85d8292bd15ceb2129d9d064316eb4ada04a12e9","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-09T18:07:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ fix ] Add dummy handler for SCancelRequest notifications (hope that this is the last one we need)","shortMessageHtmlLink":"[ fix ] Add dummy handler for SCancelRequest notifications (hope that…"}},{"before":"bb543d3b92285dcfd028649e5f880accea1a240a","after":"6763b67f81baa297f9b897799a6edacbaf6366d7","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-09T18:04:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ fix ] Add more dummy handler for STextDocumentDidSave & STextDocumentDidChange notifications","shortMessageHtmlLink":"[ fix ] Add more dummy handler for STextDocumentDidSave &amp; STextDocume…"}},{"before":"ccfa2a37f543a70f9a78eb1948106ee80cd9a2fe","after":"bb543d3b92285dcfd028649e5f880accea1a240a","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-09T17:59:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[ fix ] Add dummy handler for SInitialized & STextDocumentDidOpen notifications","shortMessageHtmlLink":"[ fix ] Add dummy handler for SInitialized &amp; STextDocumentDidOpen not…"}},{"before":"6b0386c0097f6ae8112f146ab089a3f1f7d3e520","after":"ce0623f7b3ce9159ca90b026f8b85fff6bd3675a","ref":"refs/heads/master","pushedAt":"2023-12-03T10:09:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"banacorn","name":"Ting-gian LUA","path":"/banacorn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/797844?s=80&v=4"},"commit":{"message":"[doc ] Update the hacking section on README.md","shortMessageHtmlLink":"[doc ] Update the hacking section on README.md"}},{"before":"fe60c527dc2a3641eeae95b8a4e5e7640752821a","after":"a2cc346635c90ee2aa8001348f06cba47072e006","ref":"refs/heads/lsp-2","pushedAt":"2023-12-01T14:18:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"WIP: migrate to lsp-2 (does not build yet)","shortMessageHtmlLink":"WIP: migrate to lsp-2 (does not build yet)"}},{"before":"b00a86f394aab5614770e64150196721e5a7ea97","after":"ccfa2a37f543a70f9a78eb1948106ee80cd9a2fe","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-12-01T12:24:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"v0.2.6.4.0: Build with and embed Agda-2.6.4","shortMessageHtmlLink":"v0.2.6.4.0: Build with and embed Agda-2.6.4"}},{"before":null,"after":"fe60c527dc2a3641eeae95b8a4e5e7640752821a","ref":"refs/heads/lsp-2","pushedAt":"2023-11-30T07:37:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"WIP: migrate to lsp-2 (does not build yet)","shortMessageHtmlLink":"WIP: migrate to lsp-2 (does not build yet)"}},{"before":null,"after":"b00a86f394aab5614770e64150196721e5a7ea97","ref":"refs/heads/agda-2.6.4","pushedAt":"2023-11-30T06:53:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"v0.2.6.4.0: Build with and embed Agda-2.6.4","shortMessageHtmlLink":"v0.2.6.4.0: Build with and embed Agda-2.6.4"}},{"before":"fa680de828db763cbe793ae3316a174b90659176","after":"6b0386c0097f6ae8112f146ab089a3f1f7d3e520","ref":"refs/heads/master","pushedAt":"2023-11-23T10:20:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Cabal flag to allow embedding Agda 2.6.2.2 instead of 2.6.3","shortMessageHtmlLink":"Cabal flag to allow embedding Agda 2.6.2.2 instead of 2.6.3"}},{"before":"f2d0088165c73c704d5ee77f6560457811e0386b","after":"6b0386c0097f6ae8112f146ab089a3f1f7d3e520","ref":"refs/heads/ghc-9.4","pushedAt":"2023-11-23T10:13:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"Cabal flag to allow embedding Agda 2.6.2.2 instead of 2.6.3","shortMessageHtmlLink":"Cabal flag to allow embedding Agda 2.6.2.2 instead of 2.6.3"}},{"before":null,"after":"f2d0088165c73c704d5ee77f6560457811e0386b","ref":"refs/heads/ghc-9.4","pushedAt":"2023-11-23T08:16:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"},"commit":{"message":"v0.2.6.3.0 Build with and embed Agda-2.6.3\n\nThis uses CPP, so one can still build with Agda-2.6.2.2 if wanted.","shortMessageHtmlLink":"v0.2.6.3.0 Build with and embed Agda-2.6.3"}},{"before":"9a3fbf5d9e93c037c048ae48e6a70f8bbba25588","after":null,"ref":"refs/heads/ci-revision","pushedAt":"2023-11-21T13:50:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}},{"before":"a46d449a9c299a7b3dcb86aa23a503ea7fa7da27","after":null,"ref":"refs/heads/ci","pushedAt":"2023-11-21T13:50:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}},{"before":"5c0accc8868cffd0927a808defb8a3422c963042","after":null,"ref":"refs/heads/2.6.2.1","pushedAt":"2023-11-21T13:50:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}},{"before":"788061f0793ebcc1d2c4f34dc6e18b43a7954d71","after":null,"ref":"refs/heads/dev","pushedAt":"2023-11-21T13:50:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}},{"before":"d6ab81d36089fc2bdb855be3a35fdfc9fa7f0a75","after":null,"ref":"refs/heads/restrict-lsp-version","pushedAt":"2023-11-21T13:50:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}},{"before":"c5c8b12e9993ac089c43092b668ea0a4955afa7b","after":null,"ref":"refs/heads/lsp-1.4","pushedAt":"2023-11-21T13:50:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}},{"before":"d28295b32a7dc91ca1c7e9a2b350c5d891e01c9c","after":null,"ref":"refs/heads/resolver","pushedAt":"2023-11-21T13:50:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andreasabel","name":"Andreas Abel","path":"/andreasabel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1155218?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADy8Ok3gA","startCursor":null,"endCursor":null}},"title":"Activity · agda/agda-language-server"}