{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":114664048,"defaultBranch":"master","name":"manifesto","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-12-18T16:37:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714393144.0","currentOid":""},"activityList":{"items":[{"before":"00dea63c33972613807c0723fbff83101237be42","after":null,"ref":"refs/heads/change-owner","pushedAt":"2024-04-29T12:19:04.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":"d743b7c3e2282021ee64af9932c52cecd28b9bc8","after":"820fc2bcd2b0258a72c1fd24abb8c7134789f998","ref":"refs/heads/master","pushedAt":"2024-04-29T12:19:01.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 #155 from coq-community/change-owner\n\nlist Pierre Roux as owner","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2268867421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/manifesto/issues/155\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/manifesto/pull/155/hovercard\" href=\"https://github.com/coq-community/manifesto/pull/155\">#155</a> from coq-community/change-owner"}},{"before":null,"after":"00dea63c33972613807c0723fbff83101237be42","ref":"refs/heads/change-owner","pushedAt":"2024-04-29T12:06:01.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":"list Pierre Roux as owner","shortMessageHtmlLink":"list Pierre Roux as owner"}},{"before":"6581a1ca7fe10a702fd53a7be397d26ba29e02c2","after":null,"ref":"refs/heads/ci-difference","pushedAt":"2023-07-27T19:49:01.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":"e363fc1af76a41f4a3e579702a12e707a17541c8","after":"d743b7c3e2282021ee64af9932c52cecd28b9bc8","ref":"refs/heads/master","pushedAt":"2023-07-27T19:48:58.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #149 from coq-community/ci-difference\n\nadd FAQ item on Coq's CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1816896994\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/manifesto/issues/149\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/manifesto/pull/149/hovercard\" href=\"https://github.com/coq-community/manifesto/pull/149\">#149</a> from coq-community/ci-difference"}},{"before":"40e44e44aa9fe8f0885f678443903922c9dd91ac","after":"6581a1ca7fe10a702fd53a7be397d26ba29e02c2","ref":"refs/heads/ci-difference","pushedAt":"2023-07-27T19:46:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"change order of ecosystem position FAQ items based on Théo Zimmermann's suggestions","shortMessageHtmlLink":"change order of ecosystem position FAQ items based on Théo Zimmermann…"}},{"before":"35cd64a44c8ffa37535f61cdb0fdf68bc2ab9b9f","after":"40e44e44aa9fe8f0885f678443903922c9dd91ac","ref":"refs/heads/ci-difference","pushedAt":"2023-07-22T21:10:17.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":"add FAQ item on Coq's CI","shortMessageHtmlLink":"add FAQ item on Coq's CI"}},{"before":null,"after":"35cd64a44c8ffa37535f61cdb0fdf68bc2ab9b9f","ref":"refs/heads/ci-difference","pushedAt":"2023-07-22T21:08:28.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":"add FAQ item on Coq's CI","shortMessageHtmlLink":"add FAQ item on Coq's CI"}},{"before":"e66bcf2b4cef7da320f52a676147876e3163e5d8","after":null,"ref":"refs/heads/platform-difference","pushedAt":"2023-07-22T15:23:59.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":"7322334d4261c435ed8c2be64ad98036c73ed993","after":"e363fc1af76a41f4a3e579702a12e707a17541c8","ref":"refs/heads/master","pushedAt":"2023-07-22T15:23:57.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 #148 from coq-community/platform-difference\n\nadd FAQ item on Coq Platform, uniformize ecosystem position questions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1813784342\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/manifesto/issues/148\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/manifesto/pull/148/hovercard\" href=\"https://github.com/coq-community/manifesto/pull/148\">#148</a> from coq-community/platform-difference"}},{"before":"91539dbf9b2dc7cb0268276ddc52a0af6247d1be","after":"e66bcf2b4cef7da320f52a676147876e3163e5d8","ref":"refs/heads/platform-difference","pushedAt":"2023-07-22T15:20:32.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":"add FAQ item on Coq Platform, uniformize ecosystem position questions","shortMessageHtmlLink":"add FAQ item on Coq Platform, uniformize ecosystem position questions"}},{"before":null,"after":"91539dbf9b2dc7cb0268276ddc52a0af6247d1be","ref":"refs/heads/platform-difference","pushedAt":"2023-07-20T11:33:56.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":"add FAQ item on Coq Platform, uniformize ecosystem position questions","shortMessageHtmlLink":"add FAQ item on Coq Platform, uniformize ecosystem position questions"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPO8vbgA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/manifesto"}