{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":75078674,"defaultBranch":"master","name":"largecatmodules","ownerLogin":"UniMath","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-11-29T12:19:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6826454?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1653919592.734464","currentOid":""},"activityList":{"items":[{"before":"f7b0b319b192175f95982cee2b2fb05633a0c129","after":"fb7ffc23f61bd5e163badf241c1bbe3e38364e08","ref":"refs/heads/master","pushedAt":"2024-03-01T15:49:30.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"rmatthes","name":"Ralph Matthes","path":"/rmatthes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12064214?s=80&v=4"},"commit":{"message":"Merge pull request #154 from rmatthes/restorecompilationafterunimathPR1844\n\nshould restore compilation after merging UniMath PR #1844","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2133877132\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/largecatmodules/issues/154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/largecatmodules/pull/154/hovercard\" href=\"https://github.com/UniMath/largecatmodules/pull/154\">#154</a> from rmatthes/restorecompilationafterunimathP…"}},{"before":"70ab33755b0918695afe99245dac9cfa94d3f257","after":"f7b0b319b192175f95982cee2b2fb05633a0c129","ref":"refs/heads/master","pushedAt":"2024-02-07T17:01:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Merge pull request #152 from arnoudvanderleer/rename-category-packages\n\nUpdate references to category packages","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2122927821\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/largecatmodules/issues/152\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/largecatmodules/pull/152/hovercard\" href=\"https://github.com/UniMath/largecatmodules/pull/152\">#152</a> from arnoudvanderleer/rename-category-packages"}},{"before":"b6943b957b148f3f0175f80ddf1192a54a782122","after":"70ab33755b0918695afe99245dac9cfa94d3f257","ref":"refs/heads/master","pushedAt":"2024-01-30T15:44:15.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Merge pull request #151 from rmatthes/followupstreamPR1829\n\nrestores compilation after UniMath PR1829","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2100987661\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/largecatmodules/issues/151\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/largecatmodules/pull/151/hovercard\" href=\"https://github.com/UniMath/largecatmodules/pull/151\">#151</a> from rmatthes/followupstreamPR1829"}},{"before":"e346a32accb61836a66b392e2efe7eec5c2d9316","after":"b6943b957b148f3f0175f80ddf1192a54a782122","ref":"refs/heads/master","pushedAt":"2023-07-21T20:57:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"rmatthes","name":"Ralph Matthes","path":"/rmatthes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12064214?s=80&v=4"},"commit":{"message":"Merge pull request #150 from rmatthes/repairafterUniMathPR1739\n\nmakes this satellite compile again after merging UniMath PR1739","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1816122214\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/largecatmodules/issues/150\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/largecatmodules/pull/150/hovercard\" href=\"https://github.com/UniMath/largecatmodules/pull/150\">#150</a> from rmatthes/repairafterUniMathPR1739"}},{"before":"8cbed6c2aebc278fc1f3cb1c7373a07cd200495c","after":"e346a32accb61836a66b392e2efe7eec5c2d9316","ref":"refs/heads/master","pushedAt":"2023-06-28T18:44:36.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"benediktahrens","name":"Benedikt Ahrens","path":"/benediktahrens","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1106102?s=80&v=4"},"commit":{"message":"Merge pull request #149 from rmatthes/propagateremovalofprecategoriesfrommodules\n\nmakes this satellite compile again after merging UniMath PR #1728","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1777403666\" data-permission-text=\"Title is private\" data-url=\"https://github.com/UniMath/largecatmodules/issues/149\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/UniMath/largecatmodules/pull/149/hovercard\" href=\"https://github.com/UniMath/largecatmodules/pull/149\">#149</a> from rmatthes/propagateremovalofprecategories…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAECeqSPwA","startCursor":null,"endCursor":null}},"title":"Activity · UniMath/largecatmodules"}