{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":557197082,"defaultBranch":"main","name":"lean4web","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-25T08:49:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715084241.0","currentOid":""},"activityList":{"items":[{"before":"1ed09cf5521421b7f2107220770c35d44db58ef8","after":"3cd85038d08ef6d70f2e2cd2656e967baead930b","ref":"refs/heads/main","pushedAt":"2024-06-05T11:44:46.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 mathlib-demo","shortMessageHtmlLink":"update mathlib-demo"}},{"before":"f14bfa80e35469eaca8493fbfbbf1fda20fe818c","after":"94048d4f36a83f5f05d4c6f882c3e94ba9233f48","ref":"refs/heads/dev","pushedAt":"2024-06-05T11:44:09.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 mathlib-demo","shortMessageHtmlLink":"update mathlib-demo"}},{"before":"40fbb28f1faf5754b56ce3cbe1c24182caab4928","after":"f14bfa80e35469eaca8493fbfbbf1fda20fe818c","ref":"refs/heads/dev","pushedAt":"2024-06-05T09:20:32.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 typo","shortMessageHtmlLink":"fix typo"}},{"before":"c06471c81129dbad2f8a7cbd2718b2f1b79127de","after":"40fbb28f1faf5754b56ce3cbe1c24182caab4928","ref":"refs/heads/dev","pushedAt":"2024-06-01T17:13:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"joneugster","name":"Jon Eugster","path":"/joneugster","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9141564?s=80&v=4"},"commit":{"message":"setup vscode-lean4 as submodule","shortMessageHtmlLink":"setup vscode-lean4 as submodule"}},{"before":"295261a98f1311d66cb0a6576795d73b8226f58d","after":"1ed09cf5521421b7f2107220770c35d44db58ef8","ref":"refs/heads/main","pushedAt":"2024-05-24T15:51: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":"add acceptSuggestionOnEnter to settings","shortMessageHtmlLink":"add acceptSuggestionOnEnter to settings"}},{"before":"52dcd80505b04b4672394e3ed31abe77e0905c4d","after":"295261a98f1311d66cb0a6576795d73b8226f58d","ref":"refs/heads/main","pushedAt":"2024-05-24T15:37:36.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":"disable accepting suggestions on enter","shortMessageHtmlLink":"disable accepting suggestions on enter"}},{"before":"f3c128d42f269782a90db38273c973dbc137167f","after":"52dcd80505b04b4672394e3ed31abe77e0905c4d","ref":"refs/heads/main","pushedAt":"2024-05-14T13:49:22.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 advanced wrapping strategy #21","shortMessageHtmlLink":"use advanced wrapping strategy <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2253269223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4web/issues/21\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4web/issues/21/hovercard\" href=\"https://github.com/leanprover-community/lean4web/issues/21\">#21</a>"}},{"before":"9a1d0f38dd795bb3a2fd8816c988879e9f1c080a","after":"f3c128d42f269782a90db38273c973dbc137167f","ref":"refs/heads/main","pushedAt":"2024-05-14T10:26:18.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":"fix remeasure font. #24","shortMessageHtmlLink":"fix remeasure font. <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267092027\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4web/issues/24\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4web/issues/24/hovercard\" href=\"https://github.com/leanprover-community/lean4web/issues/24\">#24</a>"}},{"before":null,"after":"c06471c81129dbad2f8a7cbd2718b2f1b79127de","ref":"refs/heads/dev","pushedAt":"2024-05-07T12:17:21.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":"many things","shortMessageHtmlLink":"many things"}},{"before":"5440cbc36a9981c432fd7371ec2cbfeee1cbd6b0","after":"9a1d0f38dd795bb3a2fd8816c988879e9f1c080a","ref":"refs/heads/main","pushedAt":"2024-04-29T09:08:51.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":"use noto emoji font","shortMessageHtmlLink":"use noto emoji font"}},{"before":"fba687f8ff1b0dfb5ddd60bc78f7f76e997781c6","after":"5440cbc36a9981c432fd7371ec2cbfeee1cbd6b0","ref":"refs/heads/main","pushedAt":"2024-04-26T02:16:03.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":"udpate lean4web-tools","shortMessageHtmlLink":"udpate lean4web-tools"}},{"before":"ef7a0375f1c289a4d8c7621c6919611448a2ca7d","after":"fba687f8ff1b0dfb5ddd60bc78f7f76e997781c6","ref":"refs/heads/main","pushedAt":"2024-04-26T01:54: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":"remove old mathliblatest","shortMessageHtmlLink":"remove old mathliblatest"}},{"before":"b68db8f9a4fa4731dc90e59a9553adb6a8473c22","after":"ef7a0375f1c289a4d8c7621c6919611448a2ca7d","ref":"refs/heads/main","pushedAt":"2024-04-26T01:52:09.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 missing mathlib demo files","shortMessageHtmlLink":"add missing mathlib demo files"}},{"before":"a1bc6c2bdbf9e4db56200007764eec743fd1ae76","after":"b68db8f9a4fa4731dc90e59a9553adb6a8473c22","ref":"refs/heads/main","pushedAt":"2024-04-26T01:43: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":"cleanup config","shortMessageHtmlLink":"cleanup config"}},{"before":"d61c60333440bec50c1317aa4d431cbf799f6457","after":"a1bc6c2bdbf9e4db56200007764eec743fd1ae76","ref":"refs/heads/main","pushedAt":"2024-04-26T01:39:25.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 test example","shortMessageHtmlLink":"remove test example"}},{"before":"28b7a2d71c0ec581e02442f57879c0d6f66fb0c8","after":"d61c60333440bec50c1317aa4d431cbf799f6457","ref":"refs/heads/main","pushedAt":"2024-04-26T01:36:34.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":"modify config","shortMessageHtmlLink":"modify config"}},{"before":"d5d551bac7aa7efd56841d950f5dc9ceedaf428b","after":"28b7a2d71c0ec581e02442f57879c0d6f66fb0c8","ref":"refs/heads/main","pushedAt":"2024-04-26T01:28:08.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":"custom examples from projects","shortMessageHtmlLink":"custom examples from projects"}},{"before":"2d154ef10b05cbc9bbfbd5453a323402500f25bd","after":"d5d551bac7aa7efd56841d950f5dc9ceedaf428b","ref":"refs/heads/main","pushedAt":"2024-04-24T16:03:23.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":"update Mathlib project","shortMessageHtmlLink":"update Mathlib project"}},{"before":"5254e2893858adbf0a0dfc1c50927541fe791555","after":"2d154ef10b05cbc9bbfbd5453a323402500f25bd","ref":"refs/heads/main","pushedAt":"2024-04-24T15:54:14.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":"change to JuliaMono","shortMessageHtmlLink":"change to JuliaMono"}},{"before":"e936b12bd9c34906b4d3d0ba35cebd79b5895ffe","after":"5254e2893858adbf0a0dfc1c50927541fe791555","ref":"refs/heads/main","pushedAt":"2024-04-10T08:31:49.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 option for word wrapping #10","shortMessageHtmlLink":"add option for word wrapping <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2010943200\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4web/issues/10\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4web/issues/10/hovercard\" href=\"https://github.com/leanprover-community/lean4web/issues/10\">#10</a>"}},{"before":"656303d58e5a795ae8d0051ca8508f0bf82b7c2c","after":"e936b12bd9c34906b4d3d0ba35cebd79b5895ffe","ref":"refs/heads/main","pushedAt":"2024-03-14T16:56:35.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 README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"414d9e62638a392fca278761b4c61a1d2e138bc7","after":"656303d58e5a795ae8d0051ca8508f0bf82b7c2c","ref":"refs/heads/main","pushedAt":"2024-03-14T16:55: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":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"8befbf3e222e2d603a17ef188f00b6078ec17b84","after":"414d9e62638a392fca278761b4c61a1d2e138bc7","ref":"refs/heads/main","pushedAt":"2024-02-07T12:01:01.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 npm packages","shortMessageHtmlLink":"update npm packages"}},{"before":"1f1007fb70f58ba461db6f89343e031c2b2b67e6","after":"8befbf3e222e2d603a17ef188f00b6078ec17b84","ref":"refs/heads/main","pushedAt":"2024-02-07T11:59: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":"npm audit","shortMessageHtmlLink":"npm audit"}},{"before":"a33976ab7ad66b67476f71adee70ed690086ac17","after":"1f1007fb70f58ba461db6f89343e031c2b2b67e6","ref":"refs/heads/main","pushedAt":"2023-12-18T16:05:29.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":"Settings text","shortMessageHtmlLink":"Settings text"}},{"before":"19a307da5dea069cc11b506ac33cdaedd80991fe","after":"a33976ab7ad66b67476f71adee70ed690086ac17","ref":"refs/heads/main","pushedAt":"2023-12-18T15:54:33.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 README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"fbb8ccfc4bba30bfc4a6d427b2cc857c244a545f","after":"19a307da5dea069cc11b506ac33cdaedd80991fe","ref":"refs/heads/main","pushedAt":"2023-12-17T22:35:26.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":"fix #19","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #19.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2045391614\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean4web/issues/19\" data-hovercard-type=\"issue\" data-hovercard-url=\"/leanprover-community/lean4web/issues/19/hovercard\" href=\"https://github.com/leanprover-community/lean4web/issues/19\">#19</a>"}},{"before":"1ec29c8112b8f794305f7baaa14340cf9263908b","after":"fbb8ccfc4bba30bfc4a6d427b2cc857c244a545f","ref":"refs/heads/main","pushedAt":"2023-12-17T12:15:39.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":"rename plain project","shortMessageHtmlLink":"rename plain project"}},{"before":"0119d04d138bbfcd5db1924eb648cd4cc5aef5b9","after":"1ec29c8112b8f794305f7baaa14340cf9263908b","ref":"refs/heads/main","pushedAt":"2023-12-16T23:45:36.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 bubblewrap script","shortMessageHtmlLink":"fix bubblewrap script"}},{"before":"6a2fa7aa5648833641bfb3a402bbe4b318915a32","after":"0119d04d138bbfcd5db1924eb648cd4cc5aef5b9","ref":"refs/heads/main","pushedAt":"2023-12-16T23:37:29.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 build script back in","shortMessageHtmlLink":"add build script back in"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXQx2HwA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/lean4web"}