{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":550610189,"defaultBranch":"master","name":"certainty-by-construction","ownerLogin":"isovector","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-13T03:27:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/307223?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1665631706.267043","currentOid":""},"activityList":{"items":[{"before":"221ea067339742191f40a92df9fb82fa9225991b","after":"5149d4dbede579599adc9833c1d10ec0f6e85a04","ref":"refs/heads/master","pushedAt":"2024-01-20T21:46:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"fix epub builds","shortMessageHtmlLink":"fix epub builds"}},{"before":"2b0ff5d07932a11fbe4b4d32ec068eb3c2fadab9","after":"221ea067339742191f40a92df9fb82fa9225991b","ref":"refs/heads/master","pushedAt":"2024-01-16T05:45:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"v1.0.9","shortMessageHtmlLink":"v1.0.9"}},{"before":"2172416114ea72f49eab3f087ee348f439a3408e","after":"2b0ff5d07932a11fbe4b4d32ec068eb3c2fadab9","ref":"refs/heads/master","pushedAt":"2024-01-12T16:07:53.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Merge pull request #15 from SlimTim10/fix-typos/chapter5\n\nFix typos in Chapter 5","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2077819334\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isovector/certainty-by-construction/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isovector/certainty-by-construction/pull/15/hovercard\" href=\"https://github.com/isovector/certainty-by-construction/pull/15\">#15</a> from SlimTim10/fix-typos/chapter5"}},{"before":"3fc4b467f1bc6357de08bf54ba072bd52f2633aa","after":"2172416114ea72f49eab3f087ee348f439a3408e","ref":"refs/heads/master","pushedAt":"2024-01-09T19:14:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Better sample","shortMessageHtmlLink":"Better sample"}},{"before":"47eaaeda1a882feeac732d9d5b12441ab40e60ae","after":"3fc4b467f1bc6357de08bf54ba072bd52f2633aa","ref":"refs/heads/master","pushedAt":"2024-01-09T18:50:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"v1.0.8","shortMessageHtmlLink":"v1.0.8"}},{"before":"bf1f4b08b55ab30acae026de761aae137d95ddfa","after":"47eaaeda1a882feeac732d9d5b12441ab40e60ae","ref":"refs/heads/master","pushedAt":"2024-01-09T18:50:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Comments are not red","shortMessageHtmlLink":"Comments are not red"}},{"before":"3514615d59285df74ea0a8dbe252b6b18eaa96c2","after":"bf1f4b08b55ab30acae026de761aae137d95ddfa","ref":"refs/heads/master","pushedAt":"2024-01-09T18:48:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Adjust margins","shortMessageHtmlLink":"Adjust margins"}},{"before":"4ddf91dd8d637bb48e82edb2fa6902aa7984c333","after":"3514615d59285df74ea0a8dbe252b6b18eaa96c2","ref":"refs/heads/master","pushedAt":"2024-01-09T07:04:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Proofreading chapter 8","shortMessageHtmlLink":"Proofreading chapter 8"}},{"before":"0ca74133c91246e9a17f42a8e4c419f67e00e6ac","after":"4ddf91dd8d637bb48e82edb2fa6902aa7984c333","ref":"refs/heads/master","pushedAt":"2024-01-09T06:51:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Proofreading chapter 7","shortMessageHtmlLink":"Proofreading chapter 7"}},{"before":"c27a8be20356c6b1c62d5bd616901d2fb5e54a98","after":"0ca74133c91246e9a17f42a8e4c419f67e00e6ac","ref":"refs/heads/master","pushedAt":"2024-01-04T20:01:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Fix a few typos","shortMessageHtmlLink":"Fix a few typos"}},{"before":"d5b51c1f9261ab51ff10245a3bfd9e70de64e70d","after":"c27a8be20356c6b1c62d5bd616901d2fb5e54a98","ref":"refs/heads/master","pushedAt":"2023-12-21T05:45:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"v1.0.7","shortMessageHtmlLink":"v1.0.7"}},{"before":"d84039b1102d70d957f4c083b9cf092ad0559fee","after":"d5b51c1f9261ab51ff10245a3bfd9e70de64e70d","ref":"refs/heads/master","pushedAt":"2023-12-21T05:45:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Cleanup some weird spacing/size issues with vel","shortMessageHtmlLink":"Cleanup some weird spacing/size issues with vel"}},{"before":"a527e7340e1ae7e4704c88b4c82ab1965e3c019f","after":"d84039b1102d70d957f4c083b9cf092ad0559fee","ref":"refs/heads/master","pushedAt":"2023-12-19T22:51:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"v1.0.6","shortMessageHtmlLink":"v1.0.6"}},{"before":"2ec2092d89ad166babf92ae150ceef52d6781ab8","after":"a527e7340e1ae7e4704c88b4c82ab1965e3c019f","ref":"refs/heads/master","pushedAt":"2023-12-19T22:50:15.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Merge pull request #13 from joha2/fixtypos2\n\nSome further typos","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2049516707\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isovector/certainty-by-construction/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isovector/certainty-by-construction/pull/13/hovercard\" href=\"https://github.com/isovector/certainty-by-construction/pull/13\">#13</a> from joha2/fixtypos2"}},{"before":"10c76696dbf98f327ca98789a5f792001e65b5fc","after":"2ec2092d89ad166babf92ae150ceef52d6781ab8","ref":"refs/heads/master","pushedAt":"2023-12-19T02:00:14.000Z","pushType":"pr_merge","commitsCount":30,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Merge pull request #10 from SlimTim10/fix-typos/chapter4\n\nFix typos/chapter4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2047729484\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isovector/certainty-by-construction/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isovector/certainty-by-construction/pull/10/hovercard\" href=\"https://github.com/isovector/certainty-by-construction/pull/10\">#10</a> from SlimTim10/fix-typos/chapter4"}},{"before":"fd217b8fdde9befe57a8201ec5f836ad6c904e0e","after":"10c76696dbf98f327ca98789a5f792001e65b5fc","ref":"refs/heads/master","pushedAt":"2023-12-16T19:45:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Fix large indices on monoids","shortMessageHtmlLink":"Fix large indices on monoids"}},{"before":"fb9755fbd3ca51e2a8561499ca4ecb2ae15844eb","after":"fd217b8fdde9befe57a8201ec5f836ad6c904e0e","ref":"refs/heads/master","pushedAt":"2023-12-16T19:20:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Avoid some bitrot with --large-indices","shortMessageHtmlLink":"Avoid some bitrot with --large-indices"}},{"before":"defeee7bee61088c2722f4a10cfd5144b21894c6","after":"fb9755fbd3ca51e2a8561499ca4ecb2ae15844eb","ref":"refs/heads/master","pushedAt":"2023-12-16T19:16:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Add --large-indices","shortMessageHtmlLink":"Add --large-indices"}},{"before":"2b5e5f71ecc5d5589577e22bae8fb501b1e0fc0f","after":"defeee7bee61088c2722f4a10cfd5144b21894c6","ref":"refs/heads/master","pushedAt":"2023-12-16T19:12:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Add @SlimTim10 to the acknowledgments for proofreading","shortMessageHtmlLink":"Add <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/SlimTim10/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/SlimTim10\">@SlimTim10</a> to the acknowledgments for proofreading"}},{"before":"f5898188557dcdb58af8798e2d661b9d8469b1f5","after":"2b5e5f71ecc5d5589577e22bae8fb501b1e0fc0f","ref":"refs/heads/master","pushedAt":"2023-12-16T19:10:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Manually merge #9\n\nCloses #9","shortMessageHtmlLink":"Manually merge <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2044746230\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isovector/certainty-by-construction/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isovector/certainty-by-construction/pull/9/hovercard\" href=\"https://github.com/isovector/certainty-by-construction/pull/9\">#9</a>"}},{"before":"6d60d51ba69c13fef112b1317b7eaa89141428cd","after":"f5898188557dcdb58af8798e2d661b9d8469b1f5","ref":"refs/heads/master","pushedAt":"2023-12-16T19:05:41.000Z","pushType":"pr_merge","commitsCount":16,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Merge pull request #8 from SlimTim10/fix-typos/chapter3\n\nFix typos/chapter3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2042828421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isovector/certainty-by-construction/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isovector/certainty-by-construction/pull/8/hovercard\" href=\"https://github.com/isovector/certainty-by-construction/pull/8\">#8</a> from SlimTim10/fix-typos/chapter3"}},{"before":"1694dd041a1bdd870bb5fb85fac9f0118eb99b94","after":"6d60d51ba69c13fef112b1317b7eaa89141428cd","ref":"refs/heads/master","pushedAt":"2023-12-11T00:25:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Version 1.0.4","shortMessageHtmlLink":"Version 1.0.4"}},{"before":"99d7d0661607bbacf425d53d798884ae72ceb0f1","after":"1694dd041a1bdd870bb5fb85fac9f0118eb99b94","ref":"refs/heads/master","pushedAt":"2023-12-10T20:00:03.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Merge pull request #7 from SlimTim10/fix-typos/chapter2\n\nFix typos in Chapter 2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033450591\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isovector/certainty-by-construction/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isovector/certainty-by-construction/pull/7/hovercard\" href=\"https://github.com/isovector/certainty-by-construction/pull/7\">#7</a> from SlimTim10/fix-typos/chapter2"}},{"before":"9313cc8d0745a9319c9ddeab20102cacad993391","after":"99d7d0661607bbacf425d53d798884ae72ceb0f1","ref":"refs/heads/master","pushedAt":"2023-12-06T18:39:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Update sample to include numbers","shortMessageHtmlLink":"Update sample to include numbers"}},{"before":"8620abd05dea0bedf352e36c095e086570c309b5","after":"9313cc8d0745a9319c9ddeab20102cacad993391","ref":"refs/heads/master","pushedAt":"2023-12-06T18:36:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Finalize print","shortMessageHtmlLink":"Finalize print"}},{"before":"d0c2f2dfcefb2f3723eea5623429356811f8e55b","after":"8620abd05dea0bedf352e36c095e086570c309b5","ref":"refs/heads/master","pushedAt":"2023-12-05T16:07:57.000Z","pushType":"pr_merge","commitsCount":19,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Merge pull request #6 from SlimTim10/fix-typos\n\nFix typos in Chapter 1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2025959336\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isovector/certainty-by-construction/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isovector/certainty-by-construction/pull/6/hovercard\" href=\"https://github.com/isovector/certainty-by-construction/pull/6\">#6</a> from SlimTim10/fix-typos"}},{"before":"c6684b37ed88840f3534990d5c08691a0268b645","after":"d0c2f2dfcefb2f3723eea5623429356811f8e55b","ref":"refs/heads/master","pushedAt":"2023-11-09T05:30:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Update version; tweak margins","shortMessageHtmlLink":"Update version; tweak margins"}},{"before":"f47a721b13804936723d62e99e906cf94146bb3c","after":"c6684b37ed88840f3534990d5c08691a0268b645","ref":"refs/heads/master","pushedAt":"2023-11-09T05:14:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"changes from looking at the book","shortMessageHtmlLink":"changes from looking at the book"}},{"before":"4c5f44cb67f8773bc272c146f0cdc7cbf57cbb45","after":"f47a721b13804936723d62e99e906cf94146bb3c","ref":"refs/heads/master","pushedAt":"2023-11-09T04:47:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"margin and font tweaks","shortMessageHtmlLink":"margin and font tweaks"}},{"before":"ebada43008942d163486e676bf7f04d0dc923301","after":"4c5f44cb67f8773bc272c146f0cdc7cbf57cbb45","ref":"refs/heads/master","pushedAt":"2023-11-09T04:15:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isovector","name":"Sandy Maguire","path":"/isovector","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/307223?s=80&v=4"},"commit":{"message":"Update kerning and margins on cover","shortMessageHtmlLink":"Update kerning and margins on cover"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yMFQyMTo0Njo0OC4wMDAwMDBazwAAAAPk2iKA","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yMFQyMTo0Njo0OC4wMDAwMDBazwAAAAPk2iKA","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0wOVQwNDoxNToxMC4wMDAwMDBazwAAAAOq8Ghj"}},"title":"Activity · isovector/certainty-by-construction"}