{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":286102273,"defaultBranch":"master","name":"gaia","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-08-08T18:56:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719658573.0","currentOid":""},"activityList":{"items":[{"before":"cf00943964c9ea4875309c65e07b71d326e7e780","after":null,"ref":"refs/heads/mc_1223","pushedAt":"2024-06-29T10:56:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"07cbbe85c4f0b90f835ab88efaf679e9417aefe2","after":"05942fe1e48631c7d9816b69a38b39208983e55b","ref":"refs/heads/master","pushedAt":"2024-06-29T10:56:09.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #18 from coq-community/mc_1223\n\nAdapt to https://github.com/math-comp/math-comp/pull/1223","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2380250815\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/gaia/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/gaia/pull/18/hovercard\" href=\"https://github.com/coq-community/gaia/pull/18\">#18</a> from coq-community/mc_1223"}},{"before":"df56af1a4e5a67080164d7b803aacb42388ab455","after":"cf00943964c9ea4875309c65e07b71d326e7e780","ref":"refs/heads/mc_1223","pushedAt":"2024-06-28T12:31:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1223","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2358050184\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1223/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1223\">math-comp/math-comp#1223</a>"}},{"before":"cc6ee10296a9c1607b6f3a30ee46ef0365f4adc2","after":"df56af1a4e5a67080164d7b803aacb42388ab455","ref":"refs/heads/mc_1223","pushedAt":"2024-06-28T12:27:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1223","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2358050184\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1223/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1223\">math-comp/math-comp#1223</a>"}},{"before":null,"after":"cc6ee10296a9c1607b6f3a30ee46ef0365f4adc2","ref":"refs/heads/mc_1223","pushedAt":"2024-06-28T11:49:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1223","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2358050184\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1223\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1223/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1223\">math-comp/math-comp#1223</a>"}},{"before":"e401b829674cb45f9c909629e56d5b5b29735750","after":null,"ref":"refs/heads/function_scope","pushedAt":"2023-12-08T15:40:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"979da1e359236d68c899723f074523fcb8be1e91","after":"07cbbe85c4f0b90f835ab88efaf679e9417aefe2","ref":"refs/heads/master","pushedAt":"2023-12-08T13:36:49.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Merge pull request #17 from coq-community/function_scope\n\nUpdate CI and fix notation scopes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2031130819\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/gaia/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/gaia/pull/17/hovercard\" href=\"https://github.com/coq-community/gaia/pull/17\">#17</a> from coq-community/function_scope"}},{"before":null,"after":"e401b829674cb45f9c909629e56d5b5b29735750","ref":"refs/heads/function_scope","pushedAt":"2023-12-07T16:38:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pi8027","name":"Kazuhiko Sakaguchi","path":"/pi8027","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/111003?s=80&v=4"},"commit":{"message":"Update CI and fix notation scopes","shortMessageHtmlLink":"Update CI and fix notation scopes"}},{"before":"89211943657bcdb5ee2f2f8bbda26ac379f59493","after":null,"ref":"refs/heads/mc_1110","pushedAt":"2023-11-07T10:22:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"82583c026d8c1ee4a5b2e4ab26f2ff5ad91a602a","after":"979da1e359236d68c899723f074523fcb8be1e91","ref":"refs/heads/master","pushedAt":"2023-11-07T10:22:02.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #16 from coq-community/mc_1110\n\nAdapt to https://github.com/math-comp/math-comp/pull/1110","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1980923374\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/gaia/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/gaia/pull/16/hovercard\" href=\"https://github.com/coq-community/gaia/pull/16\">#16</a> from coq-community/mc_1110"}},{"before":null,"after":"89211943657bcdb5ee2f2f8bbda26ac379f59493","ref":"refs/heads/mc_1110","pushedAt":"2023-11-07T09:33:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1110","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1968400122\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1110\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1110/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1110\">math-comp/math-comp#1110</a>"}},{"before":"2c616bfc639409a765ce092f64a6b86dcee253a8","after":"82583c026d8c1ee4a5b2e4ab26f2ff5ad91a602a","ref":"refs/heads/master","pushedAt":"2023-09-28T12:19:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/math-comp/math-comp/pull/1086","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1917001004\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/math-comp/issues/1086\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/math-comp/pull/1086/hovercard\" href=\"https://github.com/math-comp/math-comp/pull/1086\">math-comp/math-comp#1086</a>"}},{"before":"f082467afe82d7061d09bb786e9a377e2dd0c89e","after":null,"ref":"refs/heads/fix-ci-meta","pushedAt":"2023-08-02T05:13:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"aa4ab9457cf0584aff264966e2d9f964ea91aa5b","after":"2c616bfc639409a765ce092f64a6b86dcee253a8","ref":"refs/heads/master","pushedAt":"2023-08-02T05:13:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #15 from coq-community/fix-ci-meta\n\nfix meta.yml and boilerplate for MathComp 2.0, fix deprecations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1831757780\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/gaia/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/gaia/pull/15/hovercard\" href=\"https://github.com/coq-community/gaia/pull/15\">#15</a> from coq-community/fix-ci-meta"}},{"before":"f0e68cb951c4c7f58aacc4aabd17b9c5f81419fd","after":"f082467afe82d7061d09bb786e9a377e2dd0c89e","ref":"refs/heads/fix-ci-meta","pushedAt":"2023-08-01T19:11:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix meta.yml and boilerplate for MathComp 2.0, fix deprecations","shortMessageHtmlLink":"fix meta.yml and boilerplate for MathComp 2.0, fix deprecations"}},{"before":null,"after":"f0e68cb951c4c7f58aacc4aabd17b9c5f81419fd","ref":"refs/heads/fix-ci-meta","pushedAt":"2023-08-01T17:47:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix meta.yml and boilerplate for MathComp 2.0, fix deprecations","shortMessageHtmlLink":"fix meta.yml and boilerplate for MathComp 2.0, fix deprecations"}},{"before":"e3a499b868794a631f92d2ee87b46fffd372e9ce","after":null,"ref":"refs/heads/hierarchy-builder","pushedAt":"2023-05-19T16:32:14.246Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":"fe0c2f359f28671bc5e47cb385e672c697d6e435","after":"aa4ab9457cf0584aff264966e2d9f964ea91aa5b","ref":"refs/heads/master","pushedAt":"2023-05-19T16:32:10.684Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Merge pull request #11 from coq-community/hierarchy-builder\n\nPort to Hierarchy Builder","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1242731295\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/gaia/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/gaia/pull/11/hovercard\" href=\"https://github.com/coq-community/gaia/pull/11\">#11</a> from coq-community/hierarchy-builder"}},{"before":"f11dda08a48fef10efea17159f9bc0e532f6e188","after":"e3a499b868794a631f92d2ee87b46fffd372e9ce","ref":"refs/heads/hierarchy-builder","pushedAt":"2023-05-19T13:14:03.919Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Port to MathComp 2","shortMessageHtmlLink":"Port to MathComp 2"}},{"before":"a637e8e742c196463aecc2202d63a4e6ebc99668","after":"f11dda08a48fef10efea17159f9bc0e532f6e188","ref":"refs/heads/hierarchy-builder","pushedAt":"2023-03-08T18:52:04.380Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Port to Hierarchy Builder","shortMessageHtmlLink":"Port to Hierarchy Builder"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEcoIuVwA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/gaia"}