{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":60344103,"defaultBranch":"master","name":"ceps","ownerLogin":"coq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-06-03T11:52:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/621198?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716295430.0","currentOid":""},"activityList":{"items":[{"before":"609c3b42659a103c08a5c7b80c29dd9e19273b48","after":"fcf08d088eaa7a696f8b1308d07cbc9d573dda60","ref":"refs/heads/coq-roadmap","pushedAt":"2024-09-26T17:06:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix various typos.","shortMessageHtmlLink":"Fix various typos."}},{"before":"556219e66208d8a787dd4cdd5d75f926885a97ce","after":"609c3b42659a103c08a5c7b80c29dd9e19273b48","ref":"refs/heads/coq-roadmap","pushedAt":"2024-09-10T14:49:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"update roadmap: remove sort poly (done), add template poly section","shortMessageHtmlLink":"update roadmap: remove sort poly (done), add template poly section"}},{"before":"43f96b1d3ac6642c8ad1daffbd6da769b6c77cec","after":"556219e66208d8a787dd4cdd5d75f926885a97ce","ref":"refs/heads/coq-roadmap","pushedAt":"2024-09-10T14:48:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"update roadmap: remove sort poly (done), add template poly section","shortMessageHtmlLink":"update roadmap: remove sort poly (done), add template poly section"}},{"before":"7ed7167a8e123096eae1ea32447e3caecb0ac1d1","after":"1f2f3e59968dc45a564de7684b55466dea8edbcb","ref":"refs/heads/template-poly","pushedAt":"2024-06-21T13:52:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"problem with non linear template univs","shortMessageHtmlLink":"problem with non linear template univs"}},{"before":null,"after":"7ed7167a8e123096eae1ea32447e3caecb0ac1d1","ref":"refs/heads/template-poly","pushedAt":"2024-05-21T12:43:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Template poly redesign using sort poly","shortMessageHtmlLink":"Template poly redesign using sort poly"}},{"before":"796959f13ea5f6db825cab538286bd760c173ca2","after":"0a9070d04434f136f1dc9a92815447e75262cf80","ref":"refs/heads/abstract-rede","pushedAt":"2024-05-16T12:10:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Abstract redesign stub","shortMessageHtmlLink":"Abstract redesign stub"}},{"before":null,"after":"796959f13ea5f6db825cab538286bd760c173ca2","ref":"refs/heads/abstract-rede","pushedAt":"2024-05-16T11:59:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Abstract redesign stub","shortMessageHtmlLink":"Abstract redesign stub"}},{"before":"e30e637c831de7e0f965fb8a75752250f8cf8fea","after":null,"ref":"refs/heads/fix-file","pushedAt":"2024-05-16T11:06:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"}},{"before":"495ba0a36a79fd6bb4d26daf99eb3d21127d32aa","after":"af71836cf447e3e969ace38c7923d72b5c3607ff","ref":"refs/heads/master","pushedAt":"2024-05-16T11:06:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #87 from coq/fix-file\n\nFix file name","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2300098553\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/ceps/issues/87\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/ceps/pull/87/hovercard\" href=\"https://github.com/coq/ceps/pull/87\">#87</a> from coq/fix-file"}},{"before":null,"after":"e30e637c831de7e0f965fb8a75752250f8cf8fea","ref":"refs/heads/fix-file","pushedAt":"2024-05-16T11:05:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Fix file name","shortMessageHtmlLink":"Fix file name"}},{"before":"a4a81c18a1a1f9c65b95131e70b6eaec59ad1ba7","after":"43f96b1d3ac6642c8ad1daffbd6da769b6c77cec","ref":"refs/heads/coq-roadmap","pushedAt":"2024-02-22T12:27:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Update 069-coq-roadmap.md","shortMessageHtmlLink":"Update 069-coq-roadmap.md"}},{"before":"5487a1b66e9d511e0dd0983da3e015f70cb9a796","after":"a4a81c18a1a1f9c65b95131e70b6eaec59ad1ba7","ref":"refs/heads/coq-roadmap","pushedAt":"2024-02-06T12:30:06.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":"Add people and timing to parsing task","shortMessageHtmlLink":"Add people and timing to parsing task"}},{"before":"f46000b21452d69710b17333386a59e48c2943a8","after":"5487a1b66e9d511e0dd0983da3e015f70cb9a796","ref":"refs/heads/coq-roadmap","pushedAt":"2024-02-06T12:27:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Move parsing-recovery-mechanism removal to longer term","shortMessageHtmlLink":"Move parsing-recovery-mechanism removal to longer term"}},{"before":"84ddd432ed4c561f594bffcca7b70b487a734c1f","after":"f46000b21452d69710b17333386a59e48c2943a8","ref":"refs/heads/coq-roadmap","pushedAt":"2023-12-18T09:32:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Update 069-coq-roadmap.md","shortMessageHtmlLink":"Update 069-coq-roadmap.md"}},{"before":"8f5fef3735e6ffa908b8c2742a595bcd40b5afc7","after":"84ddd432ed4c561f594bffcca7b70b487a734c1f","ref":"refs/heads/coq-roadmap","pushedAt":"2023-11-07T14:36:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Move things around and detail a bit more some aspects of the medium term roadmap.","shortMessageHtmlLink":"Move things around and detail a bit more some aspects of the medium t…"}},{"before":"e622f78a657233824578d83b89d3da72961a1ad7","after":"8f5fef3735e6ffa908b8c2742a595bcd40b5afc7","ref":"refs/heads/coq-roadmap","pushedAt":"2023-11-07T13:54:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Wording improvements.\n\nCo-authored-by: Jim Fehrle <jim.fehrle@gmail.com>","shortMessageHtmlLink":"Wording improvements."}},{"before":"8e062506dcea68707a3e4c4679ecca2400556adc","after":"e622f78a657233824578d83b89d3da72961a1ad7","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-26T10:27:28.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":"Add a paragraph about parsing","shortMessageHtmlLink":"Add a paragraph about parsing"}},{"before":"99efed43786d784b960516afa893ead807e532a5","after":"8e062506dcea68707a3e4c4679ecca2400556adc","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-24T13:55:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix typo.","shortMessageHtmlLink":"Fix typo."}},{"before":"f8ebc9fcdc3ee812683a4c2cc1b8df2d45ccc9b9","after":"99efed43786d784b960516afa893ead807e532a5","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-24T13:49:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"fixup! Restructure roadmap\n\nCo-authored-by: Pierre Roux <pierre.roux@onera.fr>","shortMessageHtmlLink":"fixup! Restructure roadmap"}},{"before":"6b98014c55373b421fa78b8d28a08aa2eb1d9060","after":"f8ebc9fcdc3ee812683a4c2cc1b8df2d45ccc9b9","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-24T11:50:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Restructure roadmap into short, medium and long term.\n\nWith special focus on short term roadmap for now.","shortMessageHtmlLink":"Restructure roadmap into short, medium and long term."}},{"before":"43a17443235e69c1300034546ba00d5309e03358","after":"6b98014c55373b421fa78b8d28a08aa2eb1d9060","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-22T12:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"herbelin","name":"Hugo Herbelin","path":"/herbelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/460771?s=80&v=4"},"commit":{"message":"Update 069-coq-roadmap.md: docstrings","shortMessageHtmlLink":"Update 069-coq-roadmap.md: docstrings"}},{"before":"eb86523ab02912effc22f470739bc865b53594df","after":"43a17443235e69c1300034546ba00d5309e03358","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-11T10:15:18.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"tabareau","name":"nicolas tabareau","path":"/tabareau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1433885?s=80&v=4"},"commit":{"message":"Merge pull request #79 from yforster/patch-2\n\nUpdate 069-coq-roadmap.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1935414669\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/ceps/issues/79\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/ceps/pull/79/hovercard\" href=\"https://github.com/coq/ceps/pull/79\">#79</a> from yforster/patch-2"}},{"before":"cbbc0cec279d70b47be955814da4cf6e70f340cb","after":"eb86523ab02912effc22f470739bc865b53594df","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-11T09:00:41.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":"Promise a CEP to plan stdlib changes","shortMessageHtmlLink":"Promise a CEP to plan stdlib changes"}},{"before":"993481d0cac6862c66c02fbb0f6a5514f3e8d38f","after":"cbbc0cec279d70b47be955814da4cf6e70f340cb","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-11T08:32:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tabareau","name":"nicolas tabareau","path":"/tabareau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1433885?s=80&v=4"},"commit":{"message":"fix name","shortMessageHtmlLink":"fix name"}},{"before":"9f3238d900489ea768e05e593073e48cbe9a020c","after":"993481d0cac6862c66c02fbb0f6a5514f3e8d38f","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-11T07:25:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tabareau","name":"nicolas tabareau","path":"/tabareau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1433885?s=80&v=4"},"commit":{"message":"minor fixes","shortMessageHtmlLink":"minor fixes"}},{"before":"15122d1516a7241339da82e616b91c645f148adf","after":"9f3238d900489ea768e05e593073e48cbe9a020c","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-11T07:23:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tabareau","name":"nicolas tabareau","path":"/tabareau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1433885?s=80&v=4"},"commit":{"message":"add renaming Coq -> Rocq","shortMessageHtmlLink":"add renaming Coq -&gt; Rocq"}},{"before":"ec59e93f792bab421c1bed63cd863cb4aa9b4eb5","after":"15122d1516a7241339da82e616b91c645f148adf","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-10T14:36:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Update 069-coq-roadmap.md","shortMessageHtmlLink":"Update 069-coq-roadmap.md"}},{"before":"770a30b3d86050016516b761095d5ce4657ec804","after":"ec59e93f792bab421c1bed63cd863cb4aa9b4eb5","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-10T14:34:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"Update 069-coq-roadmap.md","shortMessageHtmlLink":"Update 069-coq-roadmap.md"}},{"before":"a51d5f4e303a3f37cf866db5816d5e888d623013","after":"770a30b3d86050016516b761095d5ce4657ec804","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-10T14:10:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"silene","name":"Guillaume Melquiond","path":"/silene","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1674458?s=80&v=4"},"commit":{"message":"Update 069-coq-roadmap.md with proper links to PRs","shortMessageHtmlLink":"Update 069-coq-roadmap.md with proper links to PRs"}},{"before":"66f4a7ad7a7f5995011e4bb0eea73aa1ca25a76a","after":"a51d5f4e303a3f37cf866db5816d5e888d623013","ref":"refs/heads/coq-roadmap","pushedAt":"2023-10-10T12:31:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Extend Ltac2 roadmap a bit.","shortMessageHtmlLink":"Extend Ltac2 roadmap a bit."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNlQxNzowNjo1NS4wMDAwMDBazwAAAATBwwXm","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xMFQxMjozMTo1NS4wMDAwMDBazwAAAAOTmfie"}},"title":"Activity · coq/ceps"}