{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":350779229,"defaultBranch":"main","name":"isabelle-lsp","ownerLogin":"ThreeFx","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-23T16:19:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6503361?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1616516388.130144","currentOid":""},"activityList":{"items":[{"before":"0765cd9f75fa7c0db1df4e3c4485d7a6d3a14aa9","after":"5dc49b3f7c7cafe0b2cb88eab0434aa091e1589d","ref":"refs/heads/main","pushedAt":"2023-06-08T12:30:56.917Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ThreeFx","name":"Ben Fiedler","path":"/ThreeFx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6503361?s=80&v=4"},"commit":{"message":"tidy modules","shortMessageHtmlLink":"tidy modules"}},{"before":"b2dd4b8b5cec9d773afddda1de0f21014c63377f","after":"0765cd9f75fa7c0db1df4e3c4485d7a6d3a14aa9","ref":"refs/heads/main","pushedAt":"2023-06-08T12:30:04.193Z","pushType":"push","commitsCount":2,"pusher":{"login":"ThreeFx","name":"Ben Fiedler","path":"/ThreeFx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6503361?s=80&v=4"},"commit":{"message":"tidy mnodules","shortMessageHtmlLink":"tidy mnodules"}},{"before":"f0f1b467596a8e90c2b6d69f20b17e62f062231b","after":"b2dd4b8b5cec9d773afddda1de0f21014c63377f","ref":"refs/heads/main","pushedAt":"2023-06-08T12:25:17.841Z","pushType":"push","commitsCount":1,"pusher":{"login":"ThreeFx","name":"Ben Fiedler","path":"/ThreeFx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6503361?s=80&v=4"},"commit":{"message":"Commit checkpoint","shortMessageHtmlLink":"Commit checkpoint"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADPWZNvAA","startCursor":null,"endCursor":null}},"title":"Activity · ThreeFx/isabelle-lsp"}