{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":552929471,"defaultBranch":"main","name":"lean4game","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-17T12:56:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717760831.0","currentOid":""},"activityList":{"items":[{"before":"8b4215e407914df5fd3a1f25c5d9592a270280d9","after":"b815b86c0d7a4dd0692554e347921934c946c496","ref":"refs/heads/dev","pushedAt":"2024-06-12T09:55:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"sort theorems alphabetically #110","shortMessageHtmlLink":"sort theorems alphabetically <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1912837630\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/110\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/110/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/110\">#110</a>"}},{"before":"a0ecaeeece0c909378ba75cf7ce238dad693d042","after":"8b4215e407914df5fd3a1f25c5d9592a270280d9","ref":"refs/heads/dev","pushedAt":"2024-06-12T09:50:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"update documentation about opening local notations #216","shortMessageHtmlLink":"update documentation about opening local notations <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2247932611\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/216\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/216/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/216\">#216</a>"}},{"before":"dea5fd05584b479864df9f1007df8d17f81b498d","after":"a0ecaeeece0c909378ba75cf7ce238dad693d042","ref":"refs/heads/dev","pushedAt":"2024-06-11T23:16:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"fix button display #199","shortMessageHtmlLink":"fix button display <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2164974183\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/199\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/199/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/199\">#199</a>"}},{"before":"c03e2f123effc7e4e71621210ff22987605ef528","after":"dea5fd05584b479864df9f1007df8d17f81b498d","ref":"refs/heads/dev","pushedAt":"2024-06-11T23:08:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add buttons to delete level/world only #199","shortMessageHtmlLink":"add buttons to delete level/world only <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2164974183\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/199\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/199/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/199\">#199</a>"}},{"before":"aed2899fb6193c8ffd2b2b0165abfe86404a0424","after":"c03e2f123effc7e4e71621210ff22987605ef528","ref":"refs/heads/dev","pushedAt":"2024-06-11T22:32:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add next/home back button to chat","shortMessageHtmlLink":"add next/home back button to chat"}},{"before":"17d2ba5a2cb629d84f043ec809f5baabc84c2610","after":"aed2899fb6193c8ffd2b2b0165abfe86404a0424","ref":"refs/heads/dev","pushedAt":"2024-06-11T21:08:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"do not display any errors before the first step #209","shortMessageHtmlLink":"do not display any errors before the first step <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2235126184\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/209\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/209/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/209\">#209</a>"}},{"before":"2a070332f26473d8bb00290c39e56a41ff3c6ae5","after":"17d2ba5a2cb629d84f043ec809f5baabc84c2610","ref":"refs/heads/dev","pushedAt":"2024-06-11T19:05:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"use JuliaMono and Roboto as fonts consistently #192","shortMessageHtmlLink":"use JuliaMono and Roboto as fonts consistently <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2110888785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/192\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/192/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/192\">#192</a>"}},{"before":"096bd55f9b89765cd42fb183b0fdc26cbc4a15ac","after":"2a070332f26473d8bb00290c39e56a41ff3c6ae5","ref":"refs/heads/dev","pushedAt":"2024-06-11T18:39:45.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"side-by-side goals #90","shortMessageHtmlLink":"side-by-side goals <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1866909751\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/90\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/90/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/90\">#90</a>"}},{"before":"80d4b88f5aeb5a6833c3f9f07607acc435cd9848","after":"096bd55f9b89765cd42fb183b0fdc26cbc4a15ac","ref":"refs/heads/dev","pushedAt":"2024-06-10T23:11:14.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"image for world intro","shortMessageHtmlLink":"image for world intro"}},{"before":null,"after":"446d0296f0bcb64a195ba595944dbf8e28c93a84","ref":"refs/heads/bump_v4.8.0","pushedAt":"2024-06-07T11:47:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"partial bump to v4.8.0: simple fixes","shortMessageHtmlLink":"partial bump to v4.8.0: simple fixes"}},{"before":"714b4f45b1ec91d770963b8e4b0621cc11ba200c","after":"80d4b88f5aeb5a6833c3f9f07607acc435cd9848","ref":"refs/heads/dev","pushedAt":"2024-06-06T10:33:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"mostly remove 'world' as a word #237","shortMessageHtmlLink":"mostly remove 'world' as a word <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2336241284\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/237\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/237/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/237\">#237</a>"}},{"before":"c735211cd8029891548d3fa352fb09f58cc5e3a1","after":"714b4f45b1ec91d770963b8e4b0621cc11ba200c","ref":"refs/heads/dev","pushedAt":"2024-06-06T00:37:39.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"redefine chat scrolling #230","shortMessageHtmlLink":"redefine chat scrolling <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295585565\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/230\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/230/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/230\">#230</a>"}},{"before":"4ed0753bb06b12437152a6e1ebf2b55774878fe8","after":"b091ec579b13a7eaa7ef975b80091ceacd02c692","ref":"refs/heads/main","pushedAt":"2024-06-04T18:38:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"Merge pull request #236 from RexWzh/main\n\nFix Bug with Environment Variables for Ports","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2333902455\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/236\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean4game/pull/236/hovercard\" href=\"https://github.com/leanprover-community/lean4game/pull/236\">#236</a> from RexWzh/main"}},{"before":"29eb90e6c82bd11016c7fc5674355dca449cc12d","after":"4ed0753bb06b12437152a6e1ebf2b55774878fe8","ref":"refs/heads/main","pushedAt":"2024-06-02T08:36:46.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"Merge pull request #234 from miguelmarco/patch-1\n\nSpanish translation of the UI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328239047\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/234\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean4game/pull/234/hovercard\" href=\"https://github.com/leanprover-community/lean4game/pull/234\">#234</a> from miguelmarco/patch-1"}},{"before":"4e9ac54cde6a78481661811f9ec258477d43b21d","after":"29eb90e6c82bd11016c7fc5674355dca449cc12d","ref":"refs/heads/main","pushedAt":"2024-05-31T11:00:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add spanish","shortMessageHtmlLink":"add spanish"}},{"before":"369b77f00fc6e19ef6d35122480333a413f8308d","after":"c735211cd8029891548d3fa352fb09f58cc5e3a1","ref":"refs/heads/dev","pushedAt":"2024-05-21T08:41:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"895c71dc917e7ae2bb2445db2b58c193cf677e6b","after":"369b77f00fc6e19ef6d35122480333a413f8308d","ref":"refs/heads/dev","pushedAt":"2024-05-16T22:17:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add search parameter to set language #220","shortMessageHtmlLink":"add search parameter to set language <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2255386936\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/220\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean4game/pull/220/hovercard\" href=\"https://github.com/leanprover-community/lean4game/pull/220\">#220</a>"}},{"before":"8b5d6ff2f3f8dea00fb912632dc5f2f7d23bb03a","after":"895c71dc917e7ae2bb2445db2b58c193cf677e6b","ref":"refs/heads/dev","pushedAt":"2024-05-16T21:40:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"5765c78a1d5f24907e4f4b30a4d3545b6f93a9c8","after":"8b5d6ff2f3f8dea00fb912632dc5f2f7d23bb03a","ref":"refs/heads/dev","pushedAt":"2024-05-16T21:33:13.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"improve language selection","shortMessageHtmlLink":"improve language selection"}},{"before":"05fbee9365121ee4d5c96acb600c3227f0081b81","after":"5765c78a1d5f24907e4f4b30a4d3545b6f93a9c8","ref":"refs/heads/dev","pushedAt":"2024-05-03T14:30:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add submenu for inventory categories","shortMessageHtmlLink":"add submenu for inventory categories"}},{"before":"d034148bec3a433eac40cf3be2573bc1c2c0299e","after":"4e9ac54cde6a78481661811f9ec258477d43b21d","ref":"refs/heads/main","pushedAt":"2024-05-03T12:28:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"Merge pull request #224 from JadAbouHawili/patch-1\n\nTypo in documentation, hints.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276119749\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/224\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean4game/pull/224/hovercard\" href=\"https://github.com/leanprover-community/lean4game/pull/224\">#224</a> from JadAbouHawili/patch-1"}},{"before":"06cc52bb7e0516c91ac97fafc9335399b4af39b0","after":"05fbee9365121ee4d5c96acb600c3227f0081b81","ref":"refs/heads/dev","pushedAt":"2024-04-25T13:11:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"mark inventory item from the last level","shortMessageHtmlLink":"mark inventory item from the last level"}},{"before":"a1b1a33a9bbf194a42f0920c00e18da11380bae3","after":"06cc52bb7e0516c91ac97fafc9335399b4af39b0","ref":"refs/heads/dev","pushedAt":"2024-04-24T15:01:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"mark tabs with new theorems","shortMessageHtmlLink":"mark tabs with new theorems"}},{"before":"02978a38ed97545a54f5f3950657d55874d0d666","after":"a1b1a33a9bbf194a42f0920c00e18da11380bae3","ref":"refs/heads/dev","pushedAt":"2024-04-19T08:07:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"remove more flags #208","shortMessageHtmlLink":"remove more flags <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2224671673\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/208\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/208/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/208\">#208</a>"}},{"before":"8cf358e17bda6e3de06a3d870baf904b2a7fb554","after":"02978a38ed97545a54f5f3950657d55874d0d666","ref":"refs/heads/dev","pushedAt":"2024-04-18T16:22:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add allowed keywords #215","shortMessageHtmlLink":"add allowed keywords <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2246306160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/215\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/215/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/215\">#215</a>"}},{"before":"3ddcc35137b6f5ea44567b7526c61278cbd693d8","after":"8cf358e17bda6e3de06a3d870baf904b2a7fb554","ref":"refs/heads/dev","pushedAt":"2024-04-18T16:06:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add config option to disable flags in preferences #208","shortMessageHtmlLink":"add config option to disable flags in preferences <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2224671673\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/208\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/208/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/208\">#208</a>"}},{"before":"f308e1ad4972cef48d1da3f2dabb7e454eb3dacd","after":"3ddcc35137b6f5ea44567b7526c61278cbd693d8","ref":"refs/heads/dev","pushedAt":"2024-04-18T10:27:56.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"Merge pull request #206 from JiechengZhao/cn-i18n\n\nadd Chinese translation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2212215436\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/206\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean4game/pull/206/hovercard\" href=\"https://github.com/leanprover-community/lean4game/pull/206\">#206</a> from JiechengZhao/cn-i18n"}},{"before":"62f1fb87d1fa287a59d17827e77a2cb9ee4a69f5","after":"f308e1ad4972cef48d1da3f2dabb7e454eb3dacd","ref":"refs/heads/dev","pushedAt":"2024-04-17T10:54:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"fix CSS of tooltips #207","shortMessageHtmlLink":"fix CSS of tooltips <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2214260488\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/207\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/207/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/207\">#207</a>"}},{"before":"848b2cddc87cc28001c28ae9ecb9b7a27e1a5aba","after":"62f1fb87d1fa287a59d17827e77a2cb9ee4a69f5","ref":"refs/heads/dev","pushedAt":"2024-04-17T10:23:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"add numpad-enter key #212","shortMessageHtmlLink":"add numpad-enter key <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2243467352\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4game/issues/212\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4game/issues/212/hovercard\" href=\"https://github.com/leanprover-community/lean4game/issues/212\">#212</a>"}},{"before":"3d9d244b310a2712d5a71637e0dd38ba58cc582d","after":"848b2cddc87cc28001c28ae9ecb9b7a27e1a5aba","ref":"refs/heads/dev","pushedAt":"2024-04-11T09:59:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"fix hhu-adam/Robo#22","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #22.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2235193255\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hhu-adam/Robo/issues/22\" data-hovercard-type=\"issue\" data-hovercard-url=\"/hhu-adam/Robo/issues/22/hovercard\" href=\"https://github.com/hhu-adam/Robo/issues/22\">hhu-adam/Robo#22</a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYyQsbwA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/lean4game"}