{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":698253152,"defaultBranch":"main","name":"JobPetrovcic.github.io","ownerLogin":"JobPetrovcic","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-29T13:55:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/82869631?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1695995827.0","currentOid":""},"activityList":{"items":[{"before":"0582b3f7195d7db99c7dc076a386e51c1c51ca3c","after":"c4c89aab754556a9d96a8ebe769e6b89c697305c","ref":"refs/heads/main","pushedAt":"2024-04-27T20:16:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/72d647bc5112261523b2d743078a67e316db8359","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/72d647bc5112261523b2d743078a67e316db8359/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/72d647bc5112261523b2d743078a67e316db8359\">JobPetrovcic/Visualize-Unimath@<tt>72d647b</tt></a>"}},{"before":"dd5af6b0a5f93a3a731f36105c3219c90a0ea09b","after":"0582b3f7195d7db99c7dc076a386e51c1c51ca3c","ref":"refs/heads/main","pushedAt":"2024-04-25T23:03:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/a4e73ed09e04f910a65c46a18441ddfd48b324f1","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/a4e73ed09e04f910a65c46a18441ddfd48b324f1/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/a4e73ed09e04f910a65c46a18441ddfd48b324f1\">JobPetrovcic/Visualize-Unimath@<tt>a4e73ed</tt></a>"}},{"before":"36c8c95c87f697acc18d3ed47009c50b03504fd4","after":"dd5af6b0a5f93a3a731f36105c3219c90a0ea09b","ref":"refs/heads/main","pushedAt":"2024-04-24T17:46:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"rm everything","shortMessageHtmlLink":"rm everything"}},{"before":"ed69809a2a7488b6b45176f8e7a55fea61ab2db7","after":"36c8c95c87f697acc18d3ed47009c50b03504fd4","ref":"refs/heads/main","pushedAt":"2024-04-23T16:24:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/1bdc048efa36d98cc68e55e993692cb3cddd9603","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/1bdc048efa36d98cc68e55e993692cb3cddd9603/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/1bdc048efa36d98cc68e55e993692cb3cddd9603\">JobPetrovcic/Visualize-Unimath@<tt>1bdc048</tt></a>"}},{"before":"06da397574d7d9cc7a7bb2ca05b08365dcb576f4","after":"ed69809a2a7488b6b45176f8e7a55fea61ab2db7","ref":"refs/heads/main","pushedAt":"2024-04-22T20:03:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/63c5bb5eba2f68bd69ca5c29776b29cf646bc20a","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/63c5bb5eba2f68bd69ca5c29776b29cf646bc20a/hovercard\" href=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/63c5bb5eba2f68bd69ca5c29776b29cf646bc20a\">JobPetrovcic/Mathematical-Library-Visualizer@<tt>63c5bb5</tt></a>"}},{"before":"ebf24c7fe41b07fee0cb08e37c6bfbb9c1645f06","after":"06da397574d7d9cc7a7bb2ca05b08365dcb576f4","ref":"refs/heads/main","pushedAt":"2024-04-21T17:30:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/a5c66ebc03dad52bc6cafa1ca0433f19a669338c","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/a5c66ebc03dad52bc6cafa1ca0433f19a669338c/hovercard\" href=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/a5c66ebc03dad52bc6cafa1ca0433f19a669338c\">JobPetrovcic/Mathematical-Library-Visualizer@<tt>a5c66eb</tt></a>"}},{"before":"1cafcd5182810a63a8525c3dea1952a8a1519013","after":"ebf24c7fe41b07fee0cb08e37c6bfbb9c1645f06","ref":"refs/heads/main","pushedAt":"2024-04-21T12:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/faffd448fd4cceb3fe7dacb2adb40a949337b852","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/faffd448fd4cceb3fe7dacb2adb40a949337b852/hovercard\" href=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/faffd448fd4cceb3fe7dacb2adb40a949337b852\">JobPetrovcic/Mathematical-Library-Visualizer@<tt>faffd44</tt></a>"}},{"before":"1480c736e9970fa2e026e08a3e434ee9644e64e3","after":"1cafcd5182810a63a8525c3dea1952a8a1519013","ref":"refs/heads/main","pushedAt":"2024-04-20T21:34:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/fcac07f4144637e0ee9ac951ced8e95d221ddf4d","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/fcac07f4144637e0ee9ac951ced8e95d221ddf4d/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/fcac07f4144637e0ee9ac951ced8e95d221ddf4d\">JobPetrovcic/Visualize-Unimath@<tt>fcac07f</tt></a>"}},{"before":"daf29b5d2848086f295d425734bb3493ce9575be","after":"1480c736e9970fa2e026e08a3e434ee9644e64e3","ref":"refs/heads/main","pushedAt":"2024-04-20T09:12:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/8af61fae48ac8ed8adb3116d69ed72a03d4d8057","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/8af61fae48ac8ed8adb3116d69ed72a03d4d8057/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/8af61fae48ac8ed8adb3116d69ed72a03d4d8057\">JobPetrovcic/Visualize-Unimath@<tt>8af61fa</tt></a>"}},{"before":"5fde5de735219ec989f088d6a83e0b77e1cc7f54","after":"daf29b5d2848086f295d425734bb3493ce9575be","ref":"refs/heads/main","pushedAt":"2024-04-19T16:24:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/5b89e236d89f4022c9c38accd151b482fedc3d82","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/5b89e236d89f4022c9c38accd151b482fedc3d82/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/5b89e236d89f4022c9c38accd151b482fedc3d82\">JobPetrovcic/Visualize-Unimath@<tt>5b89e23</tt></a>"}},{"before":"b111329d805500ffd163ddebfb20bce29eddbe73","after":"5fde5de735219ec989f088d6a83e0b77e1cc7f54","ref":"refs/heads/main","pushedAt":"2024-04-18T12:11:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/2740c84cb563cea9011ed3948d8c11a9920120f8","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/2740c84cb563cea9011ed3948d8c11a9920120f8/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/2740c84cb563cea9011ed3948d8c11a9920120f8\">JobPetrovcic/Visualize-Unimath@<tt>2740c84</tt></a>"}},{"before":"140dd57d834490e6f87263eca44f70057f905dec","after":"b111329d805500ffd163ddebfb20bce29eddbe73","ref":"refs/heads/main","pushedAt":"2024-04-17T12:39:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/ac4da104c60820597299b0f596224c94606eb812","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/ac4da104c60820597299b0f596224c94606eb812/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/ac4da104c60820597299b0f596224c94606eb812\">JobPetrovcic/Visualize-Unimath@<tt>ac4da10</tt></a>"}},{"before":"1e5572080ea978b8bfad3b90c0529de52ab59bbe","after":"140dd57d834490e6f87263eca44f70057f905dec","ref":"refs/heads/main","pushedAt":"2024-04-17T10:40:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/06b53e20d07e459002efd988cc95dab0f168d72b","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/06b53e20d07e459002efd988cc95dab0f168d72b/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/06b53e20d07e459002efd988cc95dab0f168d72b\">JobPetrovcic/Visualize-Unimath@<tt>06b53e2</tt></a>"}},{"before":"dd5af6b0a5f93a3a731f36105c3219c90a0ea09b","after":"1e5572080ea978b8bfad3b90c0529de52ab59bbe","ref":"refs/heads/main","pushedAt":"2024-04-16T19:06:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Visualize-Unimath/commit/9b0bc463414227927a5a3ea24f681f7ea5cdb9c6","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/9b0bc463414227927a5a3ea24f681f7ea5cdb9c6/hovercard\" href=\"https://github.com/JobPetrovcic/Visualize-Unimath/commit/9b0bc463414227927a5a3ea24f681f7ea5cdb9c6\">JobPetrovcic/Visualize-Unimath@<tt>9b0bc46</tt></a>"}},{"before":"aa6d3a3161342dd2cc57d162ae4d69d9f2e1618e","after":"dd5af6b0a5f93a3a731f36105c3219c90a0ea09b","ref":"refs/heads/main","pushedAt":"2024-04-16T17:22:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"rm everything","shortMessageHtmlLink":"rm everything"}},{"before":"5aa36befd16da7bd9b70cea922c66fca785a45dc","after":"aa6d3a3161342dd2cc57d162ae4d69d9f2e1618e","ref":"refs/heads/main","pushedAt":"2024-04-13T19:53:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/276eca8d99159f6eb04e6ed4b12a77d9cd3e4414","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/276eca8d99159f6eb04e6ed4b12a77d9cd3e4414/hovercard\" href=\"https://github.com/JobPetrovcic/Mathematical-Library-Visualizer/commit/276eca8d99159f6eb04e6ed4b12a77d9cd3e4414\">JobPetrovcic/Mathematical-Library-Visualizer@<tt>276eca8</tt></a>"}},{"before":"c2dc1b5eaa268239869754ab86fc30a57c2196af","after":"5aa36befd16da7bd9b70cea922c66fca785a45dc","ref":"refs/heads/main","pushedAt":"2024-04-11T11:08:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/agda-unimath/commit/1df936d9199e7b8f16d297b8629f0df943ef1177","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/agda-unimath/commit/1df936d9199e7b8f16d297b8629f0df943ef1177/hovercard\" href=\"https://github.com/JobPetrovcic/agda-unimath/commit/1df936d9199e7b8f16d297b8629f0df943ef1177\">JobPetrovcic/agda-unimath@<tt>1df936d</tt></a>"}},{"before":"76e53a674de3e652ae37790d97332c2a0667c7ea","after":"c2dc1b5eaa268239869754ab86fc30a57c2196af","ref":"refs/heads/main","pushedAt":"2024-04-10T21:25:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c/hovercard\" href=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c\">JobPetrovcic/agda-unimath@<tt>fec6851</tt></a>"}},{"before":"d7010d8e193ae9ed02de4eb10b43e126179ecc77","after":"76e53a674de3e652ae37790d97332c2a0667c7ea","ref":"refs/heads/main","pushedAt":"2024-04-04T15:20:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c/hovercard\" href=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c\">JobPetrovcic/agda-unimath@<tt>fec6851</tt></a>"}},{"before":"e8e7f577e18ec5f7b4e6965dfed47f62a45aa782","after":"d7010d8e193ae9ed02de4eb10b43e126179ecc77","ref":"refs/heads/main","pushedAt":"2024-04-03T07:44:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"bugfixes","shortMessageHtmlLink":"bugfixes"}},{"before":"8c91e66bb168119cbee84a29b88937485ae7978e","after":"e8e7f577e18ec5f7b4e6965dfed47f62a45aa782","ref":"refs/heads/main","pushedAt":"2024-04-01T20:11:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"bugfixing","shortMessageHtmlLink":"bugfixing"}},{"before":"e7ac0bb79a3b81fb543e29bb2e77c70a8a6c168a","after":"8c91e66bb168119cbee84a29b88937485ae7978e","ref":"refs/heads/main","pushedAt":"2024-03-31T13:47:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"finished bugfixing","shortMessageHtmlLink":"finished bugfixing"}},{"before":"9a2a79b5f0a916a84e9f59c60b384e967604cd3a","after":"e7ac0bb79a3b81fb543e29bb2e77c70a8a6c168a","ref":"refs/heads/main","pushedAt":"2024-03-31T11:20:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/JobPetrovcic/JobPetrovcic.github.io","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/JobPetrovcic/JobPetrovcic.github.io\">https://github.com/JobPetrovcic/JobPetrovcic.g…</a>"}},{"before":"1814b5f575791a99a954c2cc85de069b88be9b6d","after":"9a2a79b5f0a916a84e9f59c60b384e967604cd3a","ref":"refs/heads/main","pushedAt":"2024-03-25T23:21:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c/hovercard\" href=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c\">JobPetrovcic/agda-unimath@<tt>fec6851</tt></a>"}},{"before":"cf245a0d477a5f9cb36501875c6483c00512f8fe","after":"1814b5f575791a99a954c2cc85de069b88be9b6d","ref":"refs/heads/main","pushedAt":"2024-03-25T19:53:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"reformat","shortMessageHtmlLink":"reformat"}},{"before":"c7ff82acde2589782d6a9e7af16077bce5ff7e28","after":"cf245a0d477a5f9cb36501875c6483c00512f8fe","ref":"refs/heads/main","pushedAt":"2024-03-24T19:22:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"added new features","shortMessageHtmlLink":"added new features"}},{"before":"a61a12a1f8c8ef52c7a6b28d759b671c501d7151","after":"c7ff82acde2589782d6a9e7af16077bce5ff7e28","ref":"refs/heads/main","pushedAt":"2024-03-22T19:40:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c/hovercard\" href=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c\">JobPetrovcic/agda-unimath@<tt>fec6851</tt></a>"}},{"before":"a4922cbcb73b00b9f92541eec3b0e5847b57da3d","after":"a61a12a1f8c8ef52c7a6b28d759b671c501d7151","ref":"refs/heads/main","pushedAt":"2024-03-22T14:05:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c/hovercard\" href=\"https://github.com/JobPetrovcic/agda-unimath/commit/fec6851eda18cca2bb17951975bb7703e0c31c4c\">JobPetrovcic/agda-unimath@<tt>fec6851</tt></a>"}},{"before":"3cbc31ec0c8b498cc0be11486f63038df78b1b59","after":"a4922cbcb73b00b9f92541eec3b0e5847b57da3d","ref":"refs/heads/main","pushedAt":"2024-03-19T12:21:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/test_lib/commit/2605242b3041f507156c43b01b675065489a878b","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/test_lib/commit/2605242b3041f507156c43b01b675065489a878b/hovercard\" href=\"https://github.com/JobPetrovcic/test_lib/commit/2605242b3041f507156c43b01b675065489a878b\">JobPetrovcic/test_lib@<tt>2605242</tt></a>"}},{"before":"6da3853365889f9ea98d348c9ae6bc01e65b82b7","after":"3cbc31ec0c8b498cc0be11486f63038df78b1b59","ref":"refs/heads/main","pushedAt":"2024-03-17T20:24:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JobPetrovcic","name":null,"path":"/JobPetrovcic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/82869631?s=80&v=4"},"commit":{"message":"Update from https://github.com/JobPetrovcic/test_lib/commit/2605242b3041f507156c43b01b675065489a878b","shortMessageHtmlLink":"Update from <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JobPetrovcic/test_lib/commit/2605242b3041f507156c43b01b675065489a878b/hovercard\" href=\"https://github.com/JobPetrovcic/test_lib/commit/2605242b3041f507156c43b01b675065489a878b\">JobPetrovcic/test_lib@<tt>2605242</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEO_oytgA","startCursor":null,"endCursor":null}},"title":"Activity · JobPetrovcic/JobPetrovcic.github.io"}