{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":121506164,"defaultBranch":"develop","name":"Tilings","ownerLogin":"PermutaTriangle","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-02-14T12:03:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14117500?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1686072773.0155368","currentOid":""},"activityList":{"items":[{"before":"c3764f1e24d906f4a11a15832e1d9cde23e0ed4a","after":"ee896800d1f290d8d5f01329f102a7032c318a68","ref":"refs/heads/develop","pushedAt":"2024-03-04T13:41:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"prepare v4.0.0","shortMessageHtmlLink":"prepare v4.0.0"}},{"before":"73bf65a8652462a42f7684a3809239666f430148","after":null,"ref":"refs/heads/no-afi","pushedAt":"2023-06-06T17:32:53.015Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"}},{"before":"a91c628049762fe2bf79fafd9aeab5ade2f3e631","after":"c3764f1e24d906f4a11a15832e1d9cde23e0ed4a","ref":"refs/heads/develop","pushedAt":"2023-06-06T17:32:49.730Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"sets allow_factorable_insertions default to False (#521)","shortMessageHtmlLink":"sets allow_factorable_insertions default to False (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1744245018\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PermutaTriangle/Tilings/issues/521\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PermutaTriangle/Tilings/pull/521/hovercard\" href=\"https://github.com/PermutaTriangle/Tilings/pull/521\">#521</a>)"}},{"before":"a1569b5b02896513aa4d4649fe46d49066c0e7d4","after":null,"ref":"refs/heads/shift-from-spec","pushedAt":"2023-06-06T16:58:00.454Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"}},{"before":"d484c14c3e148d98efaad344bad156bdc2993c19","after":"a91c628049762fe2bf79fafd9aeab5ade2f3e631","ref":"refs/heads/develop","pushedAt":"2023-06-06T16:57:57.098Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"Shift from spec (#520)\n\n* the shift fix discussed on 16/05/23\r\n\r\n* changelog\r\n\r\n* fix imports","shortMessageHtmlLink":"Shift from spec (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1713849744\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PermutaTriangle/Tilings/issues/520\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PermutaTriangle/Tilings/pull/520/hovercard\" href=\"https://github.com/PermutaTriangle/Tilings/pull/520\">#520</a>)"}},{"before":null,"after":"73bf65a8652462a42f7684a3809239666f430148","ref":"refs/heads/no-afi","pushedAt":"2023-06-06T16:56:55.749Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"sets allow_factorable_insertions default to False","shortMessageHtmlLink":"sets allow_factorable_insertions default to False"}},{"before":"7d27f1a98836872d971c64f9b9e020885fd2b134","after":"a1569b5b02896513aa4d4649fe46d49066c0e7d4","ref":"refs/heads/shift-from-spec","pushedAt":"2023-05-17T12:57:13.306Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"fix imports","shortMessageHtmlLink":"fix imports"}},{"before":"e4db75b8dc4a0756573a57752c3818ca23513383","after":"7d27f1a98836872d971c64f9b9e020885fd2b134","ref":"refs/heads/shift-from-spec","pushedAt":"2023-05-17T12:53:27.586Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"changelog","shortMessageHtmlLink":"changelog"}},{"before":null,"after":"e4db75b8dc4a0756573a57752c3818ca23513383","ref":"refs/heads/shift-from-spec","pushedAt":"2023-05-17T12:40:21.290Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"the shift fix discussed on 16/05/23","shortMessageHtmlLink":"the shift fix discussed on 16/05/23"}},{"before":"4fa911324baa8a3fca0d4ccbe15742312c1d2ca7","after":null,"ref":"refs/heads/kitchen-sink-levels","pushedAt":"2023-05-09T16:55:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"}},{"before":"606cb691c5fc10260763710b215099079b45635f","after":"d484c14c3e148d98efaad344bad156bdc2993c19","ref":"refs/heads/develop","pushedAt":"2023-05-09T16:55:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"adds kitchen sink levels (#519)\n\n* adds kitchen sink levels\r\n\r\n* change log and tes","shortMessageHtmlLink":"adds kitchen sink levels (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1702265409\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PermutaTriangle/Tilings/issues/519\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PermutaTriangle/Tilings/pull/519/hovercard\" href=\"https://github.com/PermutaTriangle/Tilings/pull/519\">#519</a>)"}},{"before":"3392dbf160778e17c83907a8b48583fc421f4fc3","after":"4fa911324baa8a3fca0d4ccbe15742312c1d2ca7","ref":"refs/heads/kitchen-sink-levels","pushedAt":"2023-05-09T15:26:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"change log and tes","shortMessageHtmlLink":"change log and tes"}},{"before":null,"after":"3392dbf160778e17c83907a8b48583fc421f4fc3","ref":"refs/heads/kitchen-sink-levels","pushedAt":"2023-05-09T15:22:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"adds kitchen sink levels","shortMessageHtmlLink":"adds kitchen sink levels"}},{"before":"e4af9c5ebd750a6debce617a27e93bce851b2490","after":null,"ref":"refs/heads/fix-syms","pushedAt":"2023-04-25T16:31:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"}},{"before":"92ec3a65fbc88a3df226e0aa2ed14662a682e5ff","after":"606cb691c5fc10260763710b215099079b45635f","ref":"refs/heads/develop","pushedAt":"2023-04-25T16:31:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"remove break (#518)\n\n* remove break\r\n\r\n* changelog","shortMessageHtmlLink":"remove break (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1683196204\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PermutaTriangle/Tilings/issues/518\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PermutaTriangle/Tilings/pull/518/hovercard\" href=\"https://github.com/PermutaTriangle/Tilings/pull/518\">#518</a>)"}},{"before":"378e44692303d53c21bc0c5559478f649044577a","after":"e4af9c5ebd750a6debce617a27e93bce851b2490","ref":"refs/heads/fix-syms","pushedAt":"2023-04-25T13:38:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"changelog","shortMessageHtmlLink":"changelog"}},{"before":null,"after":"378e44692303d53c21bc0c5559478f649044577a","ref":"refs/heads/fix-syms","pushedAt":"2023-04-25T13:37:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"remove break","shortMessageHtmlLink":"remove break"}},{"before":"5ec1e7f8e2b845d6ae93fb10a028876a30c8c417","after":"98f2a9e7766b98b14adbc64803b6d87962e54931","ref":"refs/heads/predicates","pushedAt":"2023-03-23T16:10:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"tidying up","shortMessageHtmlLink":"tidying up"}},{"before":"c44d7bc01bf7359cd1b483a513ad408dd110d169","after":"5ec1e7f8e2b845d6ae93fb10a028876a30c8c417","ref":"refs/heads/predicates","pushedAt":"2023-03-22T12:38:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"only do more complicated empty if necessary","shortMessageHtmlLink":"only do more complicated empty if necessary"}},{"before":"ba707332088dee89e30e3d31efaae4fc18eed107","after":"c44d7bc01bf7359cd1b483a513ad408dd110d169","ref":"refs/heads/predicates","pushedAt":"2023-03-22T11:54:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"adding a test for av(132)","shortMessageHtmlLink":"adding a test for av(132)"}},{"before":"4dd068f65a02591f5d77ecae10ac8312f88c7e4a","after":"ba707332088dee89e30e3d31efaae4fc18eed107","ref":"refs/heads/predicates","pushedAt":"2023-03-22T11:43:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"moving css stuff that was specific to tilings","shortMessageHtmlLink":"moving css stuff that was specific to tilings"}},{"before":"3dd2ba063859df35241ef8565356b5b1051521b8","after":"4dd068f65a02591f5d77ecae10ac8312f88c7e4a","ref":"refs/heads/predicates","pushedAt":"2023-03-20T15:07:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"possibly empty is an argument to some strategies","shortMessageHtmlLink":"possibly empty is an argument to some strategies"}},{"before":"3065726ab848ab396c6675fea7421027144a86f0","after":"3dd2ba063859df35241ef8565356b5b1051521b8","ref":"refs/heads/predicates","pushedAt":"2023-03-20T13:30:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into predicates","shortMessageHtmlLink":"Merge branch 'develop' into predicates"}},{"before":"1a20cbf541894010cdae327d373c6b960bff02e1","after":null,"ref":"refs/heads/relax-assumption","pushedAt":"2023-03-20T13:28:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"}},{"before":"3d6f5349d9a7841cdd24a65ce491b55b16a47341","after":"92ec3a65fbc88a3df226e0aa2ed14662a682e5ff","ref":"refs/heads/develop","pushedAt":"2023-03-20T13:28:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"a strategy for forcing assumptions to be empty (#513)\n\n* a strategy for forcing assumptions to be empty\r\n\r\n* add relax assumption factory to kitchen sink\r\n\r\n* tidy up kitchen sink method\r\n\r\n---------\r\n\r\nCo-authored-by: jaypantone <jay.pantone@gmail.com>","shortMessageHtmlLink":"a strategy for forcing assumptions to be empty (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1596792583\" data-permission-text=\"Title is private\" data-url=\"https://github.com/PermutaTriangle/Tilings/issues/513\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/PermutaTriangle/Tilings/pull/513/hovercard\" href=\"https://github.com/PermutaTriangle/Tilings/pull/513\">#513</a>)"}},{"before":"a176b0800ffcbb1588699d7bb3a9802b07c03af8","after":"3065726ab848ab396c6675fea7421027144a86f0","ref":"refs/heads/predicates","pushedAt":"2023-03-20T13:11:02.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into predicates-and-develop","shortMessageHtmlLink":"Merge branch 'develop' into predicates-and-develop"}},{"before":null,"after":"3065726ab848ab396c6675fea7421027144a86f0","ref":"refs/heads/predicates-and-develop","pushedAt":"2023-03-20T13:09:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into predicates-and-develop","shortMessageHtmlLink":"Merge branch 'develop' into predicates-and-develop"}},{"before":"2c4a854db3e90234ae4960ee1bb1bc50fa259eda","after":"1a20cbf541894010cdae327d373c6b960bff02e1","ref":"refs/heads/relax-assumption","pushedAt":"2023-03-20T13:02:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"christianbean","name":"Christian Bean","path":"/christianbean","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11079465?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into relax-assumption","shortMessageHtmlLink":"Merge branch 'develop' into relax-assumption"}},{"before":"10b85fe338f36b3e8840bcd041a5afaacd45646a","after":"deb466f3e4782e2c631eab973fcc80f2b0e7870c","ref":"refs/heads/make-pp-not-reversible-flag","pushedAt":"2023-03-17T14:45:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"change name","shortMessageHtmlLink":"change name"}},{"before":null,"after":"10b85fe338f36b3e8840bcd041a5afaacd45646a","ref":"refs/heads/make-pp-not-reversible-flag","pushedAt":"2023-03-17T14:36:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaypantone","name":null,"path":"/jaypantone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2925902?s=80&v=4"},"commit":{"message":"draft","shortMessageHtmlLink":"draft"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wNFQxMzo0MToxMi4wMDAwMDBazwAAAAQLx-PY","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0xN1QxNDozNjozNi4wMDAwMDBazwAAAAMFv0Aj"}},"title":"Activity · PermutaTriangle/Tilings"}