{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":6569872,"defaultBranch":"master","name":"book","ownerLogin":"HoTT","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-11-06T21:35:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/692156?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1693845659.0","currentOid":""},"activityList":{"items":[{"before":"3c257f7a742c974d907ad0e7a8e22bf015cd65ce","after":"4eeeaa14adf17a2e0e7faa623a84da8b91d83a6e","ref":"refs/heads/gh-pages","pushedAt":"2024-01-11T17:08:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 2e736d1f055aaa29b6003d0ecb57b87f9e902501","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/2e736d1f055aaa29b6003d0ecb57b87f9e902501/hovercard\" href=\"https://github.com/HoTT/book/commit/2e736d1f055aaa29b6003d0ecb57b87f9e902501\"><tt>2e736d1</tt></a>"}},{"before":"a05b0e4c1f223c08ab3e2fc2a8fc8e58fda99488","after":"2e736d1f055aaa29b6003d0ecb57b87f9e902501","ref":"refs/heads/master","pushedAt":"2024-01-11T17:03:40.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mikeshulman","name":"Mike Shulman","path":"/mikeshulman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646600?s=80&v=4"},"commit":{"message":"Merge pull request #1152 from niyoushanajmaei/fix-typos\n\nFix Typos in categories.tex","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2062414137\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1152\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1152/hovercard\" href=\"https://github.com/HoTT/book/pull/1152\">#1152</a> from niyoushanajmaei/fix-typos"}},{"before":"8df50e97628a8e8d6a59dad54a08490d3ede86f6","after":"3c257f7a742c974d907ad0e7a8e22bf015cd65ce","ref":"refs/heads/gh-pages","pushedAt":"2024-01-09T22:57:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: a05b0e4c1f223c08ab3e2fc2a8fc8e58fda99488","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/a05b0e4c1f223c08ab3e2fc2a8fc8e58fda99488/hovercard\" href=\"https://github.com/HoTT/book/commit/a05b0e4c1f223c08ab3e2fc2a8fc8e58fda99488\"><tt>a05b0e4</tt></a>"}},{"before":"a1cf8b30193734ca609c2c0e583826650e88fb30","after":"a05b0e4c1f223c08ab3e2fc2a8fc8e58fda99488","ref":"refs/heads/master","pushedAt":"2024-01-09T22:52:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"Install gh to fix GitHub Actions (3rd try)","shortMessageHtmlLink":"Install gh to fix GitHub Actions (3rd try)"}},{"before":"90448d27606a4cf382a3fdf666650fb1b0a3a5e7","after":"8df50e97628a8e8d6a59dad54a08490d3ede86f6","ref":"refs/heads/gh-pages","pushedAt":"2024-01-09T22:49:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: a1cf8b30193734ca609c2c0e583826650e88fb30","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/a1cf8b30193734ca609c2c0e583826650e88fb30/hovercard\" href=\"https://github.com/HoTT/book/commit/a1cf8b30193734ca609c2c0e583826650e88fb30\"><tt>a1cf8b3</tt></a>"}},{"before":"d993b86bf3e74a749aa95a8ca8b469c830222431","after":"a1cf8b30193734ca609c2c0e583826650e88fb30","ref":"refs/heads/master","pushedAt":"2024-01-09T22:45:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"Install gh to fix GitHub Actions (second try)","shortMessageHtmlLink":"Install gh to fix GitHub Actions (second try)"}},{"before":"f492131983c2a9831bcf4801172a23de3ba01791","after":"90448d27606a4cf382a3fdf666650fb1b0a3a5e7","ref":"refs/heads/gh-pages","pushedAt":"2024-01-09T20:44:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: d993b86bf3e74a749aa95a8ca8b469c830222431","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/d993b86bf3e74a749aa95a8ca8b469c830222431/hovercard\" href=\"https://github.com/HoTT/book/commit/d993b86bf3e74a749aa95a8ca8b469c830222431\"><tt>d993b86</tt></a>"}},{"before":"6913a1a8c722ce6ffb7698cb6d658be62eaafaed","after":"d993b86bf3e74a749aa95a8ca8b469c830222431","ref":"refs/heads/master","pushedAt":"2024-01-09T20:39:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"Install gh to fix GitHub Actions","shortMessageHtmlLink":"Install gh to fix GitHub Actions"}},{"before":"a1b5b643f3bfa44a35d663c29c6d79416047a038","after":"f492131983c2a9831bcf4801172a23de3ba01791","ref":"refs/heads/gh-pages","pushedAt":"2024-01-09T20:22:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6913a1a8c722ce6ffb7698cb6d658be62eaafaed","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/6913a1a8c722ce6ffb7698cb6d658be62eaafaed/hovercard\" href=\"https://github.com/HoTT/book/commit/6913a1a8c722ce6ffb7698cb6d658be62eaafaed\"><tt>6913a1a</tt></a>"}},{"before":"3d1033aa875f1b1661dc4ca9bb1e3d2b750991c8","after":"a1b5b643f3bfa44a35d663c29c6d79416047a038","ref":"refs/heads/gh-pages","pushedAt":"2023-09-05T18:07:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6913a1a8c722ce6ffb7698cb6d658be62eaafaed","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/6913a1a8c722ce6ffb7698cb6d658be62eaafaed/hovercard\" href=\"https://github.com/HoTT/book/commit/6913a1a8c722ce6ffb7698cb6d658be62eaafaed\"><tt>6913a1a</tt></a>"}},{"before":"0163a3ef4b90c8cac1519dc7822504470ed193ce","after":"6913a1a8c722ce6ffb7698cb6d658be62eaafaed","ref":"refs/heads/master","pushedAt":"2023-09-05T17:59:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"awodey","name":"Steve Awodey","path":"/awodey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/699720?s=80&v=4"},"commit":{"message":"Merge pull request #1147 from mikeshulman/errata-fix2\n\nmake commit name shorter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1882476442\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1147\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1147/hovercard\" href=\"https://github.com/HoTT/book/pull/1147\">#1147</a> from mikeshulman/errata-fix2"}},{"before":"3b5289715bf796a6c8396aaa3a8dc0eda829f0a7","after":"3d1033aa875f1b1661dc4ca9bb1e3d2b750991c8","ref":"refs/heads/gh-pages","pushedAt":"2023-09-05T17:52:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 16cbd61fad82238b2dafc84e5dc9d7ed79efbf73","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/16cbd61fad82238b2dafc84e5dc9d7ed79efbf73/hovercard\" href=\"https://github.com/HoTT/book/commit/16cbd61fad82238b2dafc84e5dc9d7ed79efbf73\"><tt>16cbd61</tt></a>"}},{"before":"16cbd61fad82238b2dafc84e5dc9d7ed79efbf73","after":"0163a3ef4b90c8cac1519dc7822504470ed193ce","ref":"refs/heads/master","pushedAt":"2023-09-05T17:48:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Mark Errata (auto)","shortMessageHtmlLink":"Mark Errata (auto)"}},{"before":"cab2004c9478394598596279e22c1410c020258c","after":"16cbd61fad82238b2dafc84e5dc9d7ed79efbf73","ref":"refs/heads/master","pushedAt":"2023-09-05T17:46:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"awodey","name":"Steve Awodey","path":"/awodey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/699720?s=80&v=4"},"commit":{"message":"Merge pull request #1146 from mikeshulman/errata-fix\n\nfix syntax of errata merge, close #1144","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1882460926\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1146\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1146/hovercard\" href=\"https://github.com/HoTT/book/pull/1146\">#1146</a> from mikeshulman/errata-fix"}},{"before":null,"after":"36755642db2eacc7795a4fa138287685b915f4f2","ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2023-09-04T16:40:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 3 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4"}},{"before":"d5d0e91b2ca5749608234245d61944574c4a43ba","after":"3b5289715bf796a6c8396aaa3a8dc0eda829f0a7","ref":"refs/heads/gh-pages","pushedAt":"2023-07-24T17:36:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: cab2004c9478394598596279e22c1410c020258c","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/cab2004c9478394598596279e22c1410c020258c/hovercard\" href=\"https://github.com/HoTT/book/commit/cab2004c9478394598596279e22c1410c020258c\"><tt>cab2004</tt></a>"}},{"before":"4715f7129f08737f20b028822f1a308d7d83d866","after":"cab2004c9478394598596279e22c1410c020258c","ref":"refs/heads/master","pushedAt":"2023-07-24T17:30:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mikeshulman","name":"Mike Shulman","path":"/mikeshulman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646600?s=80&v=4"},"commit":{"message":"Merge pull request #1143 from TristanCacqueray/patch-1\n\nFix typo \"of of\"","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1817126132\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1143\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1143/hovercard\" href=\"https://github.com/HoTT/book/pull/1143\">#1143</a> from TristanCacqueray/patch-1"}},{"before":"f5379ab5440dbadb59a5347105c8fce3f66295ca","after":null,"ref":"refs/tags/first-edition","pushedAt":"2023-05-24T20:11:44.419Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andrejbauer","name":"Andrej Bauer","path":"/andrejbauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646599?s=80&v=4"}},{"before":"7ad08505c12380e26cadf9b0794a642e55b5b556","after":null,"ref":"refs/heads/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-4","pushedAt":"2023-05-24T14:33:33.720Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"dd1b382e0b994bd796efaa8efb31e09177106b2b","after":"4715f7129f08737f20b028822f1a308d7d83d866","ref":"refs/heads/master","pushedAt":"2023-05-24T14:33:24.752Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mikeshulman","name":"Mike Shulman","path":"/mikeshulman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646600?s=80&v=4"},"commit":{"message":"Merge pull request #1138 from HoTT/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-4\n\nBump Andrew-Chen-Wang/github-wiki-action from 3 to 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1715960954\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1138\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1138/hovercard\" href=\"https://github.com/HoTT/book/pull/1138\">#1138</a> from HoTT/dependabot/github_actions/Andrew-C…"}},{"before":"e1da0e40cf176b21d9fb1ee18b165b9b1c0d0f1b","after":"7ad08505c12380e26cadf9b0794a642e55b5b556","ref":"refs/heads/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-4","pushedAt":"2023-05-24T13:29:05.959Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"[ci] remove useless slashes","shortMessageHtmlLink":"[ci] remove useless slashes"}},{"before":"d39147aa10c2520415e2d38ec3a4a69cceae1dbe","after":"e1da0e40cf176b21d9fb1ee18b165b9b1c0d0f1b","ref":"refs/heads/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-4","pushedAt":"2023-05-24T13:27:21.023Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Adjust action syntax for new action version","shortMessageHtmlLink":"Adjust action syntax for new action version"}},{"before":"c93b0c96c391305ebb2cee37cbf8c6152c4f705e","after":"d5d0e91b2ca5749608234245d61944574c4a43ba","ref":"refs/heads/gh-pages","pushedAt":"2023-05-24T11:49:52.463Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 79e6d603e7c1f4513c6e38df685c4bcaa40e80bc","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/79e6d603e7c1f4513c6e38df685c4bcaa40e80bc/hovercard\" href=\"https://github.com/HoTT/book/commit/79e6d603e7c1f4513c6e38df685c4bcaa40e80bc\"><tt>79e6d60</tt></a>"}},{"before":"79e6d603e7c1f4513c6e38df685c4bcaa40e80bc","after":"dd1b382e0b994bd796efaa8efb31e09177106b2b","ref":"refs/heads/master","pushedAt":"2023-05-24T11:47:51.939Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"awodey","name":"Steve Awodey","path":"/awodey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/699720?s=80&v=4"},"commit":{"message":"Merge pull request #960 from langston-barrett/exercises\n\nsolutions to several exercises","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"274639607\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/960\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/960/hovercard\" href=\"https://github.com/HoTT/book/pull/960\">#960</a> from langston-barrett/exercises"}},{"before":"3337b59da4bd2ba484af667a1a29753a9f4f6e97","after":"79e6d603e7c1f4513c6e38df685c4bcaa40e80bc","ref":"refs/heads/master","pushedAt":"2023-05-24T11:44:00.680Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"awodey","name":"Steve Awodey","path":"/awodey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/699720?s=80&v=4"},"commit":{"message":"Merge pull request #1112 from EgbertRijke/code-of-conduct\n\nCode of conduct","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1203281159\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1112\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1112/hovercard\" href=\"https://github.com/HoTT/book/pull/1112\">#1112</a> from EgbertRijke/code-of-conduct"}},{"before":"8f91133367100a16e82a1e944b73d4be58c11e64","after":"c93b0c96c391305ebb2cee37cbf8c6152c4f705e","ref":"refs/heads/gh-pages","pushedAt":"2023-05-24T02:30:04.542Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: c01931abebce3700254a975771efce2ebd1f4cb4","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/book/commit/c01931abebce3700254a975771efce2ebd1f4cb4/hovercard\" href=\"https://github.com/HoTT/book/commit/c01931abebce3700254a975771efce2ebd1f4cb4\"><tt>c01931a</tt></a>"}},{"before":"c01931abebce3700254a975771efce2ebd1f4cb4","after":"3337b59da4bd2ba484af667a1a29753a9f4f6e97","ref":"refs/heads/master","pushedAt":"2023-05-24T02:25:36.163Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Mark Errata (auto)","shortMessageHtmlLink":"Mark Errata (auto)"}},{"before":"3a8a1733d9fe4a4edd7be6c145d4798bf8d65650","after":"c01931abebce3700254a975771efce2ebd1f4cb4","ref":"refs/heads/master","pushedAt":"2023-05-24T02:23:18.266Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mikeshulman","name":"Mike Shulman","path":"/mikeshulman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646600?s=80&v=4"},"commit":{"message":"Merge pull request #1140 from leahneukirchen/dubious-ownership-fix\n\nCI: ignore dubious ownership issues","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1722127854\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1140\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1140/hovercard\" href=\"https://github.com/HoTT/book/pull/1140\">#1140</a> from leahneukirchen/dubious-ownership-fix"}},{"before":"21cfbc41617ce2c262708317f00127c0713b8bfb","after":"3a8a1733d9fe4a4edd7be6c145d4798bf8d65650","ref":"refs/heads/master","pushedAt":"2023-05-24T02:23:01.230Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mikeshulman","name":"Mike Shulman","path":"/mikeshulman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646600?s=80&v=4"},"commit":{"message":"Merge pull request #1141 from jonaprieto/fix-typo\n\nFix typo in flattening-rectnd-beta-ppt's proof","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1722898219\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/book/issues/1141\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/book/pull/1141/hovercard\" href=\"https://github.com/HoTT/book/pull/1141\">#1141</a> from jonaprieto/fix-typo"}},{"before":"b58b0a494ce9aeee13c85942fdfc25119080a78c","after":"21cfbc41617ce2c262708317f00127c0713b8bfb","ref":"refs/heads/master","pushedAt":"2023-05-23T21:06:29.308Z","pushType":"push","commitsCount":5,"pusher":{"login":"andrejbauer","name":"Andrej Bauer","path":"/andrejbauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/646599?s=80&v=4"},"commit":{"message":"Merge branch 'liyishuai-master'","shortMessageHtmlLink":"Merge branch 'liyishuai-master'"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD3X0_iQA","startCursor":null,"endCursor":null}},"title":"Activity · HoTT/book"}