{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":1529601,"defaultBranch":"master","name":"Coq-HoTT","ownerLogin":"HoTT","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-03-26T15:59:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/692156?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711449283.0","currentOid":""},"activityList":{"items":[{"before":"6d6554927c8608b25e04fde5732a1efdd95d0163","after":"da4c613725ea42bd8dc7f997d8428b1925398b91","ref":"refs/heads/gh-pages","pushedAt":"2024-05-04T14:50:52.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@72ced09bc29602791755a025838bb4d48805ae86 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/72ced09bc29602791755a025838bb4d48805ae86/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/72ced09bc29602791755a025838bb4d48805ae86\"><tt>72ced09</tt></a> 🚀"}},{"before":"010c1690c56aa602ce1f6547a15309586eb30f45","after":"72ced09bc29602791755a025838bb4d48805ae86","ref":"refs/heads/master","pushedAt":"2024-05-04T14:33:34.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1947 from Alizter/ps/rr/bool__add_convenient_variant_of_negb_ne\n\nBool: add convenient variant of negb_ne","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276559201\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1947\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1947/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1947\">#1947</a> from Alizter/ps/rr/bool__add_convenient_vari…"}},{"before":"bab314976c7de2708bc7ff001abd65ea2ec0aeff","after":"6d6554927c8608b25e04fde5732a1efdd95d0163","ref":"refs/heads/gh-pages","pushedAt":"2024-05-04T03:06: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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@010c1690c56aa602ce1f6547a15309586eb30f45 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/010c1690c56aa602ce1f6547a15309586eb30f45/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/010c1690c56aa602ce1f6547a15309586eb30f45\"><tt>010c169</tt></a> 🚀"}},{"before":"3173ed9ab7b711aae29c8a0b01066d1962ef9269","after":"010c1690c56aa602ce1f6547a15309586eb30f45","ref":"refs/heads/master","pushedAt":"2024-05-04T02:48:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1949 from Alizter/ps/rr/cleanup_in_abgroups\n\ncleanup in AbGroups","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276644002\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1949\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1949/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1949\">#1949</a> from Alizter/ps/rr/cleanup_in_abgroups"}},{"before":"203fce5c3d7f5b882dc179db61491bbf01a03ad3","after":"3173ed9ab7b711aae29c8a0b01066d1962ef9269","ref":"refs/heads/master","pushedAt":"2024-05-04T02:48:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1948 from Alizter/ps/rr/opposite_pointed_category\n\nOpposite pointed category","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276567812\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1948\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1948/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1948\">#1948</a> from Alizter/ps/rr/opposite_pointed_category"}},{"before":"91cb0d15a776563146ec508c0eb40ffce2588545","after":"bab314976c7de2708bc7ff001abd65ea2ec0aeff","ref":"refs/heads/gh-pages","pushedAt":"2024-05-03T22:26:52.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@203fce5c3d7f5b882dc179db61491bbf01a03ad3 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/203fce5c3d7f5b882dc179db61491bbf01a03ad3/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/203fce5c3d7f5b882dc179db61491bbf01a03ad3\"><tt>203fce5</tt></a> 🚀"}},{"before":"d2457d5dd540ff8757dd1be74eda15a85122cfa8","after":"203fce5c3d7f5b882dc179db61491bbf01a03ad3","ref":"refs/heads/master","pushedAt":"2024-05-03T22:08:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1946 from Alizter/ps/rr/rename_cat_coprod_prod_incl____cat_coprod_prod\n\nrename cat_coprod_prod_incl -> cat_coprod_prod","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276531758\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1946\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1946/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1946\">#1946</a> from Alizter/ps/rr/rename_cat_coprod_prod_in…"}},{"before":"1c4071de3f03cc78b2abe9588680b37e5515a3a8","after":"d2457d5dd540ff8757dd1be74eda15a85122cfa8","ref":"refs/heads/master","pushedAt":"2024-05-03T22:08:18.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1944 from Alizter/ps/rr/monoidal__convenient_naturality_lemmas\n\nMonoidal: convenient naturality lemmas","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276390215\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1944\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1944/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1944\">#1944</a> from Alizter/ps/rr/monoidal__convenient_natu…"}},{"before":"f09ec22f3b86906c22f12ca49776a6cf8e048c62","after":"91cb0d15a776563146ec508c0eb40ffce2588545","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T21:39:11.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@1c4071de3f03cc78b2abe9588680b37e5515a3a8 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/1c4071de3f03cc78b2abe9588680b37e5515a3a8/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/1c4071de3f03cc78b2abe9588680b37e5515a3a8\"><tt>1c4071d</tt></a> 🚀"}},{"before":"ee8cc93e9dc59cf7457f9cadf398ef6ae4efd236","after":"1c4071de3f03cc78b2abe9588680b37e5515a3a8","ref":"refs/heads/master","pushedAt":"2024-05-02T21:21:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1943 from Alizter/ps/rr/shorter_proofs_of_monoidal_structure_in_products_v\n\nshorter proofs of monoidal structure in Products.v","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276376770\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1943\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1943/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1943\">#1943</a> from Alizter/ps/rr/shorter_proofs_of_monoida…"}},{"before":"f3c92e45f9612fc5665b8f3a457ec209f16f0f99","after":"f09ec22f3b86906c22f12ca49776a6cf8e048c62","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T19:48:02.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@ee8cc93e9dc59cf7457f9cadf398ef6ae4efd236 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/ee8cc93e9dc59cf7457f9cadf398ef6ae4efd236/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/ee8cc93e9dc59cf7457f9cadf398ef6ae4efd236\"><tt>ee8cc93</tt></a> 🚀"}},{"before":"2ac6280844348c7d0196faf8cea17fd9c092f74e","after":"ee8cc93e9dc59cf7457f9cadf398ef6ae4efd236","ref":"refs/heads/master","pushedAt":"2024-05-02T19:30:01.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1942 from Alizter/cleanup_basics\n\ncleanup Basics/","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2275985597\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1942\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1942/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1942\">#1942</a> from Alizter/cleanup_basics"}},{"before":"8a3a927715fea90af013cec1e904a4ffc0abd7a4","after":"2ac6280844348c7d0196faf8cea17fd9c092f74e","ref":"refs/heads/master","pushedAt":"2024-05-02T19:13:43.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1940 from Alizter/ps/rr/opposite_rings\n\nopposite rings","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272597606\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1940\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1940/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1940\">#1940</a> from Alizter/ps/rr/opposite_rings"}},{"before":"dd215c8fe8ff74b61a7a391397457c3f3b4d438d","after":"f3c92e45f9612fc5665b8f3a457ec209f16f0f99","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T23:03:34.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@8a3a927715fea90af013cec1e904a4ffc0abd7a4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/8a3a927715fea90af013cec1e904a4ffc0abd7a4/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/8a3a927715fea90af013cec1e904a4ffc0abd7a4\"><tt>8a3a927</tt></a> 🚀"}},{"before":"c143d876ecd9261c8217f959a5eb383c2115138c","after":"8a3a927715fea90af013cec1e904a4ffc0abd7a4","ref":"refs/heads/master","pushedAt":"2024-04-30T22:46:20.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"jdchristensen","name":"Dan Christensen","path":"/jdchristensen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3374048?s=80&v=4"},"commit":{"message":"Merge pull request #1939 from jdchristensen/more-opposites\n\nUse Opposite.v in Equiv.v to remove duplication","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2271763680\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1939\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1939/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1939\">#1939</a> from jdchristensen/more-opposites"}},{"before":"1daa606308bb49793e696365cbdbc97149a431f8","after":"dd215c8fe8ff74b61a7a391397457c3f3b4d438d","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T17:50:17.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@c143d876ecd9261c8217f959a5eb383c2115138c 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/c143d876ecd9261c8217f959a5eb383c2115138c/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/c143d876ecd9261c8217f959a5eb383c2115138c\"><tt>c143d87</tt></a> 🚀"}},{"before":"67d7f9215743da38835c1164aa8cc7dd1bbc5634","after":"c143d876ecd9261c8217f959a5eb383c2115138c","ref":"refs/heads/master","pushedAt":"2024-04-30T17:30:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1910 from Alizter/ps/rr/bump_to_dune_3_13\n\nbump to dune 3.13","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2230120207\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1910\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1910/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1910\">#1910</a> from Alizter/ps/rr/bump_to_dune_3_13"}},{"before":"85cc0040f1eb1c193447e4802770f30618aaff94","after":"1daa606308bb49793e696365cbdbc97149a431f8","ref":"refs/heads/gh-pages","pushedAt":"2024-04-30T15:09:11.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@67d7f9215743da38835c1164aa8cc7dd1bbc5634 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/67d7f9215743da38835c1164aa8cc7dd1bbc5634/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/67d7f9215743da38835c1164aa8cc7dd1bbc5634\"><tt>67d7f92</tt></a> 🚀"}},{"before":"e63addcdb258840fbe88eec2f508f44e2b3f9e8a","after":"67d7f9215743da38835c1164aa8cc7dd1bbc5634","ref":"refs/heads/master","pushedAt":"2024-04-30T14:51:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1938 from Alizter/ps/rr/optimize_products_v\n\noptimize Products.v","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2271536751\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1938\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1938/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1938\">#1938</a> from Alizter/ps/rr/optimize_products_v"}},{"before":"6f79fd02c663bc33fc08e1aee84f0f7269d4907f","after":"e63addcdb258840fbe88eec2f508f44e2b3f9e8a","ref":"refs/heads/master","pushedAt":"2024-04-30T14:50:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1937 from Alizter/ps/rr/single_file_benchmarks\n\nsingle file benchmarks","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2271526272\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1937\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1937/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1937\">#1937</a> from Alizter/ps/rr/single_file_benchmarks"}},{"before":"c73ccb5c03b8b317b149c36b1d70f1cfc8f2b6c5","after":"85cc0040f1eb1c193447e4802770f30618aaff94","ref":"refs/heads/gh-pages","pushedAt":"2024-04-29T14:59:39.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@6f79fd02c663bc33fc08e1aee84f0f7269d4907f 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/6f79fd02c663bc33fc08e1aee84f0f7269d4907f/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/6f79fd02c663bc33fc08e1aee84f0f7269d4907f\"><tt>6f79fd0</tt></a> 🚀"}},{"before":"6a93fb9a7737c45ffec2447653ed082018e9ba0d","after":"6f79fd02c663bc33fc08e1aee84f0f7269d4907f","ref":"refs/heads/master","pushedAt":"2024-04-29T14:42:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1935 from Alizter/ps/rr/nix__add_8_18_dev_shell\n\nnix: add 8.18 dev shell","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267310006\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1935\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1935/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1935\">#1935</a> from Alizter/ps/rr/nix__add_8_18_dev_shell"}},{"before":"10cbdf2fc5b53798c80fe4660f826913647e6235","after":"c73ccb5c03b8b317b149c36b1d70f1cfc8f2b6c5","ref":"refs/heads/gh-pages","pushedAt":"2024-04-29T02:24:08.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@6a93fb9a7737c45ffec2447653ed082018e9ba0d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/6a93fb9a7737c45ffec2447653ed082018e9ba0d/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/6a93fb9a7737c45ffec2447653ed082018e9ba0d\"><tt>6a93fb9</tt></a> 🚀"}},{"before":"6cb7ba0e5dabd16b2f1256baf49c3a4b06754733","after":"6a93fb9a7737c45ffec2447653ed082018e9ba0d","ref":"refs/heads/master","pushedAt":"2024-04-29T02:06:38.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1934 from jdchristensen/opposites-involutive\n\nTrick to make Is1Cat definitionally involutive","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267049075\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1934\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1934/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1934\">#1934</a> from jdchristensen/opposites-involutive"}},{"before":"28f03804c84574bd33375068f892a4b4cde4f1e0","after":"10cbdf2fc5b53798c80fe4660f826913647e6235","ref":"refs/heads/gh-pages","pushedAt":"2024-04-26T01:25:32.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@6cb7ba0e5dabd16b2f1256baf49c3a4b06754733 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/6cb7ba0e5dabd16b2f1256baf49c3a4b06754733/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/6cb7ba0e5dabd16b2f1256baf49c3a4b06754733\"><tt>6cb7ba0</tt></a> 🚀"}},{"before":"6fa56dc3c8c37cd4854cde80e4f4b54bff9f84da","after":"6cb7ba0e5dabd16b2f1256baf49c3a4b06754733","ref":"refs/heads/master","pushedAt":"2024-04-26T01:08:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1930 from Alizter/ps/rr/flake_update\n\nflake update","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2263643843\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1930\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1930/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1930\">#1930</a> from Alizter/ps/rr/flake_update"}},{"before":"062bb238e8a87a9e15d4b9553f6780974f8a918f","after":"28f03804c84574bd33375068f892a4b4cde4f1e0","ref":"refs/heads/gh-pages","pushedAt":"2024-04-24T15:12:35.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@6fa56dc3c8c37cd4854cde80e4f4b54bff9f84da 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/6fa56dc3c8c37cd4854cde80e4f4b54bff9f84da/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/6fa56dc3c8c37cd4854cde80e4f4b54bff9f84da\"><tt>6fa56dc</tt></a> 🚀"}},{"before":"08cfa11d059a205b93264563dd2d6a528a511d97","after":"6fa56dc3c8c37cd4854cde80e4f4b54bff9f84da","ref":"refs/heads/master","pushedAt":"2024-04-24T14:54:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1915 from Alizter/wip-symmetric-monoidal\n\nSymmetric Monoidal Categories","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2240727240\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1915\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1915/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1915\">#1915</a> from Alizter/wip-symmetric-monoidal"}},{"before":"851ea20ae7677dc4d01bd107a7a80a86997b65d1","after":"062bb238e8a87a9e15d4b9553f6780974f8a918f","ref":"refs/heads/gh-pages","pushedAt":"2024-04-23T19:04:40.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":"Deploying to gh-pages from @ HoTT/Coq-HoTT@08cfa11d059a205b93264563dd2d6a528a511d97 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/HoTT/Coq-HoTT/commit/08cfa11d059a205b93264563dd2d6a528a511d97/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/commit/08cfa11d059a205b93264563dd2d6a528a511d97\"><tt>08cfa11</tt></a> 🚀"}},{"before":"c0f202e22cdb3bb8f0b04553c82040ccda1991ce","after":"08cfa11d059a205b93264563dd2d6a528a511d97","ref":"refs/heads/master","pushedAt":"2024-04-23T18:46:56.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #1925 from Alizter/bifunctor-improvements\n\nbifunctor improvements","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2259234559\" data-permission-text=\"Title is private\" data-url=\"https://github.com/HoTT/Coq-HoTT/issues/1925\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/HoTT/Coq-HoTT/pull/1925/hovercard\" href=\"https://github.com/HoTT/Coq-HoTT/pull/1925\">#1925</a> from Alizter/bifunctor-improvements"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQXYongA","startCursor":null,"endCursor":null}},"title":"Activity · HoTT/Coq-HoTT"}