{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":614919385,"defaultBranch":"main","name":"paperproof","ownerLogin":"Paper-Proof","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-16T15:24:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/138534089?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724752370.0","currentOid":""},"activityList":{"items":[{"before":"5c3f55b13e43901ad92bd7058ef5518be0ebab33","after":"5ca90daea6fca3e49b93cf53d887bd0b2e3f5b85","ref":"refs/heads/main","pushedAt":"2024-09-08T22:42:54.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/Paper-Proof/paperproof into main","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/Paper-Proof/paperproof\">https://github.com/Paper-Proof/paperproof</a> into…"}},{"before":"08c4bca1f366d62aa0071331e661fdd31ca27895","after":"5c3f55b13e43901ad92bd7058ef5518be0ebab33","ref":"refs/heads/main","pushedAt":"2024-09-06T18:11:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - fix the blog post link","shortMessageHtmlLink":"<code>README.md</code> - fix the blog post link"}},{"before":"1d75085bf0d1718e283fb472ec0dab924b7b77df","after":"08c4bca1f366d62aa0071331e661fdd31ca27895","ref":"refs/heads/main","pushedAt":"2024-09-06T18:07:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - add new blog posts!","shortMessageHtmlLink":"<code>README.md</code> - add new blog posts!"}},{"before":"ca6ffc1e285fb001e37da03a2c6b859da35bc329","after":"1d75085bf0d1718e283fb472ec0dab924b7b77df","ref":"refs/heads/main","pushedAt":"2024-09-05T18:00:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`extension` - publish Paperproof v1.6.1","shortMessageHtmlLink":"<code>extension</code> - publish Paperproof v1.6.1"}},{"before":"a58be3e02222900ac1091f97a36f25a9a779f1e8","after":"ca6ffc1e285fb001e37da03a2c6b859da35bc329","ref":"refs/heads/main","pushedAt":"2024-09-05T17:57:03.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`_examples/GoalsFormATree.lean` - show why paperproof goals form a tree","shortMessageHtmlLink":"<code>_examples/GoalsFormATree.lean</code> - show why paperproof goals form a tree"}},{"before":"6fd11de446bb136844cc538f8924cd644d2deaf1","after":"a58be3e02222900ac1091f97a36f25a9a779f1e8","ref":"refs/heads/main","pushedAt":"2024-08-30T10:14:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`<ContextMenu/>` - naming \"Compact mode\" => \"Compact horizotally\"","shortMessageHtmlLink":"<code>&lt;ContextMenu/&gt;</code> - naming \"Compact mode\" =&gt; \"Compact horizotally\""}},{"before":"4e2b0b6412d9e0e31c63d418265a3c68fdbcfbd0","after":"6fd11de446bb136844cc538f8924cd644d2deaf1","ref":"refs/heads/main","pushedAt":"2024-08-27T08:43:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`lake-manifest.json` - change LeanReservoir title from \"examples\" to \"Paperproof\"\n\n(See https://github.com/leanprover/reservoir/issues/48)","shortMessageHtmlLink":"<code>lake-manifest.json</code> - change LeanReservoir title from \"examples\" to …"}},{"before":"47cc2cd1f2891406128cf89bb2e3051480a3010f","after":"4e2b0b6412d9e0e31c63d418265a3c68fdbcfbd0","ref":"refs/heads/main","pushedAt":"2024-08-26T11:16:19.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`/extension` - publish v1.6.0","shortMessageHtmlLink":"<code>/extension</code> - publish v1.6.0"}},{"before":"1af21e5a09a0d3e79e290a16d627db8bc3e07aa2","after":"92ea42d8cd8e73061b2e08ec09519e0517957c31","ref":"refs/heads/dev","pushedAt":"2024-08-26T10:51:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - move blog posts/videos into a separate section","shortMessageHtmlLink":"<code>README.md</code> - move blog posts/videos into a separate section"}},{"before":"c96db0318de970cb4dea124cfa4a7e661f305390","after":"1af21e5a09a0d3e79e290a16d627db8bc3e07aa2","ref":"refs/heads/dev","pushedAt":"2024-08-26T10:45:38.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`/_examples` - subdivide folders","shortMessageHtmlLink":"<code>/_examples</code> - subdivide folders"}},{"before":"63340c7ce307f31124898f6fa80c80cb73f978b0","after":"c96db0318de970cb4dea124cfa4a7e661f305390","ref":"refs/heads/dev","pushedAt":"2024-08-26T10:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - make the introduction prettier","shortMessageHtmlLink":"<code>README.md</code> - make the introduction prettier"}},{"before":"1e63955e4ca4af6e5aaf2efdb532bf71e422b28d","after":"63340c7ce307f31124898f6fa80c80cb73f978b0","ref":"refs/heads/dev","pushedAt":"2024-08-26T10:06:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - improve images","shortMessageHtmlLink":"<code>README.md</code> - improve images"}},{"before":"a0b2894b84589cb0c38a2f938c14114670195848","after":"1e63955e4ca4af6e5aaf2efdb532bf71e422b28d","ref":"refs/heads/dev","pushedAt":"2024-08-26T09:53:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - update \"Walkthrough\" section images","shortMessageHtmlLink":"<code>README.md</code> - update \"Walkthrough\" section images"}},{"before":"438b3b8b21621b5eace6925f64dea66701daecb3","after":"a0b2894b84589cb0c38a2f938c14114670195848","ref":"refs/heads/dev","pushedAt":"2024-08-26T09:00:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - update all images in the \"full-fledged proofs\" section","shortMessageHtmlLink":"<code>README.md</code> - update all images in the \"full-fledged proofs\" section"}},{"before":"ee0be6c3c69387ba2d09df0514631959d53c1e26","after":"438b3b8b21621b5eace6925f64dea66701daecb3","ref":"refs/heads/dev","pushedAt":"2024-08-26T07:51:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - align all \"Common Tactics\" section images center","shortMessageHtmlLink":"<code>README.md</code> - align all \"Common Tactics\" section images center"}},{"before":"2b3531f5a793e00156ac8086617c7131a63a766f","after":"ee0be6c3c69387ba2d09df0514631959d53c1e26","ref":"refs/heads/dev","pushedAt":"2024-08-26T07:46:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"README.md - fix widths","shortMessageHtmlLink":"README.md - fix widths"}},{"before":"df0125e0349d376d2008d24ce0f486ed36cd6d93","after":"2b3531f5a793e00156ac8086617c7131a63a766f","ref":"refs/heads/dev","pushedAt":"2024-08-23T08:39:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"1567ad7d1c937710b7c8d5a47e04b50e183e165a","after":"df0125e0349d376d2008d24ce0f486ed36cd6d93","ref":"refs/heads/dev","pushedAt":"2024-08-23T08:26:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"307334f058ffa7caccaccc837e9f6a06136f95c9","after":"1567ad7d1c937710b7c8d5a47e04b50e183e165a","ref":"refs/heads/dev","pushedAt":"2024-08-23T08:12:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - update the demo image","shortMessageHtmlLink":"<code>README.md</code> - update the demo image"}},{"before":"be2e06a9ddf47f2bf326a81b8ed63685fddadad7","after":null,"ref":"refs/heads/term-mode","pushedAt":"2024-08-23T06:20:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"}},{"before":"c44e22f613354f48dba4cbd6ce8bb3fd9ed0427c","after":null,"ref":"refs/heads/parser","pushedAt":"2024-08-23T06:20:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"}},{"before":"5b193f0bbcbeee8365d1ed87477f067dfe6bee17","after":null,"ref":"refs/heads/converter-thoughts","pushedAt":"2024-08-23T06:20:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"}},{"before":"60a5a25da0da1b7a87de268a16d930e2b5f94381","after":null,"ref":"refs/heads/devcontainer","pushedAt":"2024-08-23T06:20:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"}},{"before":"18c9a6a69686f9974f1793997853ae54945dc5b5","after":null,"ref":"refs/heads/just-html","pushedAt":"2024-08-23T06:20:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"}},{"before":"793f8bc65ea9c7ff61da0d1ddba042c311eb385e","after":null,"ref":"refs/heads/lakesare/leanSearch","pushedAt":"2024-08-23T06:20:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"}},{"before":"a390825649693dad70dc72e9e9b092d133390437","after":"307334f058ffa7caccaccc837e9f6a06136f95c9","ref":"refs/heads/dev","pushedAt":"2024-08-23T06:19:28.000Z","pushType":"push","commitsCount":97,"pusher":{"login":"lakesare","name":"Evgenia Karunus","path":"/lakesare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7578559?s=80&v=4"},"commit":{"message":"`README.md` - remove the \"pls downgrade lean4 extension version\" setup step","shortMessageHtmlLink":"<code>README.md</code> - remove the \"pls downgrade lean4 extension version\" setu…"}},{"before":"a0f73f37acd6a837685b80ca250a66c9118e6c66","after":"47cc2cd1f2891406128cf89bb2e3051480a3010f","ref":"refs/heads/main","pushedAt":"2024-08-22T18:15:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"antonkov","name":"Anton Kovsharov","path":"/antonkov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2538570?s=80&v=4"},"commit":{"message":"Format codespace badge text","shortMessageHtmlLink":"Format codespace badge text"}},{"before":"2057a4275dd8cb871923d77321a273363c2a8e27","after":"a0f73f37acd6a837685b80ca250a66c9118e6c66","ref":"refs/heads/main","pushedAt":"2024-08-22T18:15:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"antonkov","name":"Anton Kovsharov","path":"/antonkov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2538570?s=80&v=4"},"commit":{"message":"Format codespace badge text","shortMessageHtmlLink":"Format codespace badge text"}},{"before":"9a28d3c696454a3863676487e05f9519ea7e5a1e","after":"2057a4275dd8cb871923d77321a273363c2a8e27","ref":"refs/heads/main","pushedAt":"2024-08-22T18:14:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"antonkov","name":"Anton Kovsharov","path":"/antonkov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2538570?s=80&v=4"},"commit":{"message":"Setup github codespaces (#46)\n\nSetup github codespaces devcontainer","shortMessageHtmlLink":"Setup github codespaces (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2481436181\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Paper-Proof/paperproof/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Paper-Proof/paperproof/pull/46/hovercard\" href=\"https://github.com/Paper-Proof/paperproof/pull/46\">#46</a>)"}},{"before":"2a3e06345d317288d9f85c93a2052cf27290ff34","after":"60a5a25da0da1b7a87de268a16d930e2b5f94381","ref":"refs/heads/devcontainer","pushedAt":"2024-08-22T18:13:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"antonkov","name":"Anton Kovsharov","path":"/antonkov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2538570?s=80&v=4"},"commit":{"message":"Move codespace button and add instructions","shortMessageHtmlLink":"Move codespace button and add instructions"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOFQyMjo0Mjo1NC4wMDAwMDBazwAAAASwUTRB","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOFQyMjo0Mjo1NC4wMDAwMDBazwAAAASwUTRB","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMlQxODoxMzoxOS4wMDAwMDBazwAAAAShmKhj"}},"title":"Activity · Paper-Proof/paperproof"}