{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":169223011,"defaultBranch":"master","name":"doc","ownerLogin":"coq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-02-05T10:27:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/621198?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1575629362.0","currentOid":""},"activityList":{"items":[{"before":"1ea2bec3833a4345bb7ea5fb7374ad3fcd19b6e6","after":"7a58865f28b05404a19e7d07a2f23628fce3509b","ref":"refs/heads/master","pushedAt":"2024-09-17T17:00:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 2d2e5a5c","shortMessageHtmlLink":"Documentation of branch “master” at 2d2e5a5c"}},{"before":"711f3ff6788bd320b2bed094b976baa4f282f38e","after":"1ea2bec3833a4345bb7ea5fb7374ad3fcd19b6e6","ref":"refs/heads/master","pushedAt":"2024-09-16T20:24:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at c268225a","shortMessageHtmlLink":"Documentation of branch “master” at c268225a"}},{"before":"a4de14f9cd89d8047b7262f31bf64303e3f4dab6","after":"711f3ff6788bd320b2bed094b976baa4f282f38e","ref":"refs/heads/master","pushedAt":"2024-09-13T23:15:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 48db2360","shortMessageHtmlLink":"Documentation of branch “master” at 48db2360"}},{"before":"23403fbb8d6eee91151b8eaf9b2955ee3246017f","after":"a4de14f9cd89d8047b7262f31bf64303e3f4dab6","ref":"refs/heads/master","pushedAt":"2024-09-13T14:12:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 64fea303","shortMessageHtmlLink":"Documentation of branch “master” at 64fea303"}},{"before":"d4819c48413e9bf417cf522e272539f6a1a53db1","after":"23403fbb8d6eee91151b8eaf9b2955ee3246017f","ref":"refs/heads/master","pushedAt":"2024-09-13T05:08:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 30f5ad0a","shortMessageHtmlLink":"Documentation of branch “master” at 30f5ad0a"}},{"before":"f7fa01ff5ebe161fe2660a3bf2deb5485266a75a","after":"d4819c48413e9bf417cf522e272539f6a1a53db1","ref":"refs/heads/master","pushedAt":"2024-09-12T18:09:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at f9d9e518","shortMessageHtmlLink":"Documentation of branch “master” at f9d9e518"}},{"before":"7377612a38d41702c78f3946be6bffba91f5135f","after":"f7fa01ff5ebe161fe2660a3bf2deb5485266a75a","ref":"refs/heads/master","pushedAt":"2024-09-12T11:52:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at d2d2e00b","shortMessageHtmlLink":"Documentation of branch “master” at d2d2e00b"}},{"before":"02d03c116ae7c9382086e53b8f47a4cb1c517e14","after":"7377612a38d41702c78f3946be6bffba91f5135f","ref":"refs/heads/master","pushedAt":"2024-09-11T17:36:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 44155b06","shortMessageHtmlLink":"Documentation of branch “master” at 44155b06"}},{"before":"1caf1752f690555dccd51716ccd6a18055ccaa13","after":"02d03c116ae7c9382086e53b8f47a4cb1c517e14","ref":"refs/heads/master","pushedAt":"2024-09-11T14:47:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at a37a2e4b","shortMessageHtmlLink":"Documentation of branch “master” at a37a2e4b"}},{"before":"16c49fce8a115e7d1a6dca5e1e8534974b141cb3","after":"1caf1752f690555dccd51716ccd6a18055ccaa13","ref":"refs/heads/master","pushedAt":"2024-09-10T12:54:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at ce1cbe6d","shortMessageHtmlLink":"Documentation of branch “master” at ce1cbe6d"}},{"before":"0d3538c3ee7ca373d52f78481743afe7feddcd72","after":"16c49fce8a115e7d1a6dca5e1e8534974b141cb3","ref":"refs/heads/master","pushedAt":"2024-09-10T06:18:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 7fec4bd9","shortMessageHtmlLink":"Documentation of branch “master” at 7fec4bd9"}},{"before":"0abc657a3cf1300771c16f922ad3154d070d30c4","after":"0d3538c3ee7ca373d52f78481743afe7feddcd72","ref":"refs/heads/master","pushedAt":"2024-09-09T19:32:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at cc6786a6","shortMessageHtmlLink":"Documentation of branch “master” at cc6786a6"}},{"before":"adb55fabd9c6bbaaecd788833edfc88a47539fc4","after":"0abc657a3cf1300771c16f922ad3154d070d30c4","ref":"refs/heads/master","pushedAt":"2024-09-09T08:24:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 3a19736f","shortMessageHtmlLink":"Documentation of branch “master” at 3a19736f"}},{"before":"be3452c3c9ec595fa7f382f23f1a591d11d6c2b1","after":"adb55fabd9c6bbaaecd788833edfc88a47539fc4","ref":"refs/heads/master","pushedAt":"2024-09-09T07:10:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 418501ac","shortMessageHtmlLink":"Documentation of branch “master” at 418501ac"}},{"before":"78fe65fc52ff65be26d7845c78151d53d4f9ec50","after":"be3452c3c9ec595fa7f382f23f1a591d11d6c2b1","ref":"refs/heads/master","pushedAt":"2024-09-06T14:35:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 1b98a2ff","shortMessageHtmlLink":"Documentation of branch “master” at 1b98a2ff"}},{"before":"9cc8bd01e6e8376a40ecebc1c16ed566444b7c15","after":"78fe65fc52ff65be26d7845c78151d53d4f9ec50","ref":"refs/heads/master","pushedAt":"2024-09-06T12:53:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 60e24164","shortMessageHtmlLink":"Documentation of branch “master” at 60e24164"}},{"before":"f0c70ef865f75a98ff67bc4a32e3bf4ddfb3ee3d","after":"9cc8bd01e6e8376a40ecebc1c16ed566444b7c15","ref":"refs/heads/master","pushedAt":"2024-09-05T17:16:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 9c1e8bd2","shortMessageHtmlLink":"Documentation of branch “master” at 9c1e8bd2"}},{"before":"ab47124e090ee4339ce72968a03ed1373150cc2a","after":"f0c70ef865f75a98ff67bc4a32e3bf4ddfb3ee3d","ref":"refs/heads/master","pushedAt":"2024-09-05T11:42:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 7d5ef7cb","shortMessageHtmlLink":"Documentation of branch “master” at 7d5ef7cb"}},{"before":"ecf938f24ed400a8849de834af688cd114f34b6b","after":"ab47124e090ee4339ce72968a03ed1373150cc2a","ref":"refs/heads/master","pushedAt":"2024-09-04T21:48:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at fa5011da","shortMessageHtmlLink":"Documentation of branch “master” at fa5011da"}},{"before":"6b00ef6d9bd3a241dca6a26b9c1d3bddf146a5ae","after":"ecf938f24ed400a8849de834af688cd114f34b6b","ref":"refs/heads/master","pushedAt":"2024-09-04T17:46:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at b558a432","shortMessageHtmlLink":"Documentation of branch “master” at b558a432"}},{"before":"d92c0a4d861f3ef8d1524dbcc2431f0c3a906f06","after":"6b00ef6d9bd3a241dca6a26b9c1d3bddf146a5ae","ref":"refs/heads/master","pushedAt":"2024-09-04T16:01:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “v8.20” at f60d920b","shortMessageHtmlLink":"Documentation of branch “v8.20” at f60d920b"}},{"before":"ecfeccc163c2e054e709236a29163278d2688a96","after":"8a496402640fa3fc9869712553363e2845083616","ref":"refs/heads/sources","pushedAt":"2024-09-04T13:20:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Add links for Coq 8.20.0","shortMessageHtmlLink":"Add links for Coq 8.20.0"}},{"before":"2741882ad57528c84de176b27fcb12b9205f571b","after":"d92c0a4d861f3ef8d1524dbcc2431f0c3a906f06","ref":"refs/heads/master","pushedAt":"2024-09-04T13:20:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Add links for Coq 8.20.0","shortMessageHtmlLink":"Add links for Coq 8.20.0"}},{"before":"2517950747e6a7357d953fd2912ef008bec5301f","after":"2741882ad57528c84de176b27fcb12b9205f571b","ref":"refs/heads/master","pushedAt":"2024-09-04T13:08:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at d72fa372","shortMessageHtmlLink":"Documentation of branch “master” at d72fa372"}},{"before":"6eea897802ec3165998a84ccccd31ee949291fc0","after":"2517950747e6a7357d953fd2912ef008bec5301f","ref":"refs/heads/master","pushedAt":"2024-09-04T11:37:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “V8.20.0” at e8025671","shortMessageHtmlLink":"Documentation of branch “V8.20.0” at e8025671"}},{"before":"5d6573aa4f53727ec232628c63b491d4ce8e9db6","after":"6eea897802ec3165998a84ccccd31ee949291fc0","ref":"refs/heads/master","pushedAt":"2024-09-04T10:08:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “v8.20” at e8025671","shortMessageHtmlLink":"Documentation of branch “v8.20” at e8025671"}},{"before":"6cefb4aa3d009a1e8bd3cc1c6f60da730900a277","after":"5d6573aa4f53727ec232628c63b491d4ce8e9db6","ref":"refs/heads/master","pushedAt":"2024-09-04T08:52:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at e0ac59ad","shortMessageHtmlLink":"Documentation of branch “master” at e0ac59ad"}},{"before":"f496b1bf8f5ae87d6ea5dce4cb35bcf10076b1f8","after":"6cefb4aa3d009a1e8bd3cc1c6f60da730900a277","ref":"refs/heads/master","pushedAt":"2024-09-03T19:07:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 43cec468","shortMessageHtmlLink":"Documentation of branch “master” at 43cec468"}},{"before":"f99c9f17217f8693a5d2a3b1c6c1335373a8c5cc","after":"f496b1bf8f5ae87d6ea5dce4cb35bcf10076b1f8","ref":"refs/heads/master","pushedAt":"2024-09-03T10:31:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 6ecd029b","shortMessageHtmlLink":"Documentation of branch “master” at 6ecd029b"}},{"before":"f64e28826e347780fc2a55e20dbe987c752ee1f6","after":"f99c9f17217f8693a5d2a3b1c6c1335373a8c5cc","ref":"refs/heads/master","pushedAt":"2024-09-03T09:13:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vbgl","name":"Vincent Laporte","path":"/vbgl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2612464?s=80&v=4"},"commit":{"message":"Documentation of branch “master” at 1fe97bce","shortMessageHtmlLink":"Documentation of branch “master” at 1fe97bce"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxNzowMDo1MS4wMDAwMDBazwAAAAS4yh-U","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxNzowMDo1MS4wMDAwMDBazwAAAAS4yh-U","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wM1QwOToxMzowMC4wMDAwMDBazwAAAASrW7bU"}},"title":"Activity · coq/doc"}