{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":131505583,"defaultBranch":"master","name":"bot","ownerLogin":"coq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-29T15:20:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/621198?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726498810.0","currentOid":""},"activityList":{"items":[{"before":"7ce706beedb59ee4f2f1a235c002558bff94c1e2","after":"7e8b31fd51e1482757bdf1db1d28e8c2c2049a1f","ref":"refs/heads/master","pushedAt":"2024-09-17T01:29:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"bug-minimizer: link to run-coq-bug-minimizer/actions more (#312)\n\nFollow up on #310","shortMessageHtmlLink":"bug-minimizer: link to run-coq-bug-minimizer/actions more (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2529777935\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/312\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/312/hovercard\" href=\"https://github.com/coq/bot/pull/312\">#312</a>)"}},{"before":"7ce706beedb59ee4f2f1a235c002558bff94c1e2","after":null,"ref":"refs/heads/fix-timeout-in-ci","pushedAt":"2024-09-16T15:00:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"}},{"before":"850d39ce90bafff9e41a61ff70bc2fce80c2b7a2","after":"7ce706beedb59ee4f2f1a235c002558bff94c1e2","ref":"refs/heads/master","pushedAt":"2024-09-16T14:59:29.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":"Simplify Docker image build.\n\nIn principle, the second command is not needed since coq-bot already depends on bot-components. Furthermore, since a few days, this second command seems to consistently trigger a timeout in our CI during the Docker build. So removing it could help fix this issue.","shortMessageHtmlLink":"Simplify Docker image build."}},{"before":null,"after":"7ce706beedb59ee4f2f1a235c002558bff94c1e2","ref":"refs/heads/fix-timeout-in-ci","pushedAt":"2024-09-16T14:32:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Simplify Docker image build.\n\nIn principle, the second command is not needed since coq-bot already depends on bot-components. Furthermore, since a few days, this second command seems to consistently trigger a timeout in our CI during the Docker build. So removing it could help fix this issue.","shortMessageHtmlLink":"Simplify Docker image build."}},{"before":"0502b0be3a2806b520fb6f868c2a659110d7656a","after":"850d39ce90bafff9e41a61ff70bc2fce80c2b7a2","ref":"refs/heads/master","pushedAt":"2024-09-13T13:36:36.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Update GitHub and GitLab GraphQL schemas.","shortMessageHtmlLink":"Update GitHub and GitLab GraphQL schemas."}},{"before":"b41f69713a671571754d9b8f87da9567e3580027","after":null,"ref":"refs/heads/link-github-actions","pushedAt":"2024-09-13T13:35:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"}},{"before":"3400bbd0fde9ec512bed354eb36e93f2db695312","after":"0502b0be3a2806b520fb6f868c2a659110d7656a","ref":"refs/heads/master","pushedAt":"2024-09-13T13:35:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"bug-minimizer: link to run-coq-bug-minimizer/actions (#310)\n\nThis is a small quality of life improvement IMO. Ideally, we'd link\r\ndirectly to the running job, but that information is not accessible\r\nhere, currently.","shortMessageHtmlLink":"bug-minimizer: link to run-coq-bug-minimizer/actions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2520470038\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/310\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/310/hovercard\" href=\"https://github.com/coq/bot/pull/310\">#310</a>)"}},{"before":null,"after":"b41f69713a671571754d9b8f87da9567e3580027","ref":"refs/heads/link-github-actions","pushedAt":"2024-09-11T18:37:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"bug-minimizer: link to run-coq-bug-minimizer/actions\n\nThis is a small quality of life improvement IMO.  Ideally, we'd link directly to the running job, but that information is not accessible here, currently.","shortMessageHtmlLink":"bug-minimizer: link to run-coq-bug-minimizer/actions"}},{"before":"d771ab503c9fde2367ec92ed3e55e83033a40381","after":"3400bbd0fde9ec512bed354eb36e93f2db695312","ref":"refs/heads/master","pushedAt":"2024-07-25T09:55:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Extend connectivity check (#308)\n\nSpotted in this gitlab.inria.fr job today:\r\nhttps://gitlab.inria.fr/math-comp/math-comp/-/jobs/4607507","shortMessageHtmlLink":"Extend connectivity check (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2428071014\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/308\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/308/hovercard\" href=\"https://github.com/coq/bot/pull/308\">#308</a>)"}},{"before":"302337ac55e472d2cbde3a59a16db029652b751c","after":"d771ab503c9fde2367ec92ed3e55e83033a40381","ref":"refs/heads/master","pushedAt":"2024-07-17T04:47:15.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Support `coqbot resume ci minimize ci-foo url` (#298)\n\nSome notes on usage:\r\n- Both `ci minimize ci-foo https://...` and `ci minimize ci-foo [description](url)` are supported.\r\n- you can directly link to the artifacts of previous runs, such as the `tmp.v` file, and coqbot will unpack the artifact\r\n- other links need to be to text files that are the buggy file (you can upload it as .txt or .v.txt or .log or w/e)\r\n- plausibly in the future we can support non-artifact links to .zip files and .tar.gz files, etc; in the interim, I don't expect this to be a big issue","shortMessageHtmlLink":"Support <code>coqbot resume ci minimize ci-foo url</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2103743450\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/298\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/298/hovercard\" href=\"https://github.com/coq/bot/pull/298\">#298</a>)"}},{"before":"7cdf89faa4cd677f812e309a955be052510622f5","after":"302337ac55e472d2cbde3a59a16db029652b751c","ref":"refs/heads/master","pushedAt":"2024-07-15T14:53:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Report a bit more information on unsupported github events (#299)\n\nThis will make it easier to add more events in the future.","shortMessageHtmlLink":"Report a bit more information on unsupported github events (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2174998657\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/299\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/299/hovercard\" href=\"https://github.com/coq/bot/pull/299\">#299</a>)"}},{"before":"53ef64c8e5930119d6fe885d5d4828ce68aceb2e","after":"7cdf89faa4cd677f812e309a955be052510622f5","ref":"refs/heads/master","pushedAt":"2024-07-15T14:52:35.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Rebuild if error \"received unexpected HTTP status: 502 Bad Gateway\" is raised (#307)","shortMessageHtmlLink":"Rebuild if error \"received unexpected HTTP status: 502 Bad Gateway\" i…"}},{"before":"6cc9f2509934f7ea10bff1f953800426b2ce8995","after":"53ef64c8e5930119d6fe885d5d4828ce68aceb2e","ref":"refs/heads/master","pushedAt":"2024-07-05T19:05:15.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Merge PR #306: README is not an overlay.","shortMessageHtmlLink":"Merge PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392564854\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/306\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/306/hovercard\" href=\"https://github.com/coq/bot/pull/306\">#306</a>: README is not an overlay."}},{"before":"8f3d44f928f46b3b2f71b06c2995f21eb03f401b","after":"6cc9f2509934f7ea10bff1f953800426b2ce8995","ref":"refs/heads/master","pushedAt":"2024-07-05T15:05:58.000Z","pushType":"pr_merge","commitsCount":17,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Migrate release management to GitHub projects v2 (#305)\n\nPartially implements #278 (~~without removing the project V1 support, so\r\nthat we can test this while keeping the other one for now~~). What is\r\nmissing:\r\n\r\n- [x] Automatically create field if it does not exist yet.\r\n- [ ] Create views when creating a new field.\r\n- [x] Management of PRs removed from the project (now will use a\r\nrejected field value instead).\r\n- [ ] Update\r\nhttps://github.com/coq/coq/blob/master/dev/doc/release-process.md.\r\n\r\n@proux01 @silene I intend to test-deploy this, so\r\nhttps://github.com/orgs/coq/projects/11/views/4 and\r\nhttps://github.com/coq/coq/projects/42 should in principle be updated\r\nconcurrently when new PRs are merged or backported in the 8.20+rc1\r\nmilestone.\r\n\r\nClose coq/coq#19156.\r\nClose #278.\r\nClose #303.","shortMessageHtmlLink":"Migrate release management to GitHub projects v2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2357948675\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/305\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/305/hovercard\" href=\"https://github.com/coq/bot/pull/305\">#305</a>)"}},{"before":"b95de99a33d1f61259e09d66fba5bcf17deb007f","after":"8f3d44f928f46b3b2f71b06c2995f21eb03f401b","ref":"refs/heads/master","pushedAt":"2024-06-18T14:26:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Update GitLab GraphQL schema.","shortMessageHtmlLink":"Update GitLab GraphQL schema."}},{"before":"e5e03534420b0e301972d991d9a6027fd337b4a1","after":"b95de99a33d1f61259e09d66fba5bcf17deb007f","ref":"refs/heads/master","pushedAt":"2024-06-17T09:10:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix: use simpler GraphQL query when only ID is needed.\n\nWill help reduce the impact of #303.","shortMessageHtmlLink":"Fix: use simpler GraphQL query when only ID is needed."}},{"before":"e0942d05267a66cd146e8218462ecd6c020d823f","after":"e5e03534420b0e301972d991d9a6027fd337b4a1","ref":"refs/heads/master","pushedAt":"2024-05-17T16:53: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":"Update GitHub and GraphQL schemas.","shortMessageHtmlLink":"Update GitHub and GraphQL schemas."}},{"before":"11225735c0057d1bb7b6c04a4c5e1dba0039b058","after":"e0942d05267a66cd146e8218462ecd6c020d823f","ref":"refs/heads/master","pushedAt":"2024-04-17T12:33:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Fix \"got more than one checkSuite\" message when actually got 0 (#302)\n\nand reorder code so that short error branches go before the main branch","shortMessageHtmlLink":"Fix \"got more than one checkSuite\" message when actually got 0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248038006\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/302\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/302/hovercard\" href=\"https://github.com/coq/bot/pull/302\">#302</a>)"}},{"before":"2957d1bb60fc6ac9e23b9e108ee0c1a728aab308","after":"11225735c0057d1bb7b6c04a4c5e1dba0039b058","ref":"refs/heads/master","pushedAt":"2024-01-27T19:10:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"`dune build @fmt --auto-promote` (ocamlformat 0.26.1) (#296)","shortMessageHtmlLink":"<code>dune build <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/fmt/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/fmt\">@fmt</a> --auto-promote</code> (ocamlformat 0.26.1) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2076957234\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/296\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/296/hovercard\" href=\"https://github.com/coq/bot/pull/296\">#296</a>)"}},{"before":"b8e9db5137e5e70bc098280a5d0b3b5732c0fb48","after":"2957d1bb60fc6ac9e23b9e108ee0c1a728aab308","ref":"refs/heads/master","pushedAt":"2024-01-16T18:08:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Strip out more ANSI color codes (#297)\n\nThis should issues like\r\nhttps://github.com/coq/coq/pull/18446/checks?check_run_id=20043646334\r\nnot finding `Error` since the introduction of colors in\r\nhttps://github.com/coq/coq/pull/18338. ANSI color codes sometimes\r\ninclude three numeric components. If we want to be more precise, we\r\ncould use `([0-9]+;?){1,3}` or even `([0-9]+;){0,2}[0-9]+`, but I think\r\nthis might be overkill, and there's not too much harm in using the\r\nsimpler expression.","shortMessageHtmlLink":"Strip out more ANSI color codes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2076966162\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/297\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/297/hovercard\" href=\"https://github.com/coq/bot/pull/297\">#297</a>)"}},{"before":"e9760db0dd67e3b97cfe42ec93d351056089abd2","after":"b8e9db5137e5e70bc098280a5d0b3b5732c0fb48","ref":"refs/heads/master","pushedAt":"2023-10-09T11:13:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix issue with coqbot not pushing merge commits anymore.\n\nFixes #294.\nBug introduced in 16cc99ca735fa1a023a8d6d176f0a34387b2acb7.","shortMessageHtmlLink":"Fix issue with coqbot not pushing merge commits anymore."}},{"before":"16cc99ca735fa1a023a8d6d176f0a34387b2acb7","after":"e9760db0dd67e3b97cfe42ec93d351056089abd2","ref":"refs/heads/master","pushedAt":"2023-10-06T16:30:06.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 parentheses leading to running the mirror action before the git repo is initialized.","shortMessageHtmlLink":"Fix parentheses leading to running the mirror action before the git r…"}},{"before":"b7899d01b6f5d49024f5db63d3d5bea4dd7e0d85","after":"16cc99ca735fa1a023a8d6d176f0a34387b2acb7","ref":"refs/heads/master","pushedAt":"2023-10-06T16:23:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix support for mirroring tags.","shortMessageHtmlLink":"Fix support for mirroring tags."}},{"before":"e273a88e705b39acceb79b7f4a6c6e646e00e385","after":"b7899d01b6f5d49024f5db63d3d5bea4dd7e0d85","ref":"refs/heads/master","pushedAt":"2023-09-03T09:58:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Adapt the job trace parsing for Checks tab summary after recent changes. (#293)\n\nFixes #290.\r\n\r\nThe first commit adapts the job trace parsing after coq/coq#17785, but\r\nit seems like it is not enough because the way to retrieve the image the\r\njob ran on has changed after moving to Inria GitLab.","shortMessageHtmlLink":"Adapt the job trace parsing for Checks tab summary after recent chang…"}},{"before":"9a2d45eb4a87fc9c2207aa27a09a6c08c6af7d60","after":"e273a88e705b39acceb79b7f4a6c6e646e00e385","ref":"refs/heads/master","pushedAt":"2023-09-03T09:28:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Update GitLab GraphQL schema.","shortMessageHtmlLink":"Update GitLab GraphQL schema."}},{"before":"7c4fbb627691f74a61f946e71a90e3c69aa79775","after":"9a2d45eb4a87fc9c2207aa27a09a6c08c6af7d60","ref":"refs/heads/master","pushedAt":"2023-09-03T08:52:33.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Migrate Coq's CI mirroring to Inria's gitlab (#291)","shortMessageHtmlLink":"Migrate Coq's CI mirroring to Inria's gitlab (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1869625154\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/bot/issues/291\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/bot/pull/291/hovercard\" href=\"https://github.com/coq/bot/pull/291\">#291</a>)"}},{"before":"77b3898f4b26cce477bbe41087a0095448fa9f23","after":"7c4fbb627691f74a61f946e71a90e3c69aa79775","ref":"refs/heads/master","pushedAt":"2023-07-12T15:11:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix strip_quoted_bot_name for comments containing a colon and add expect test.","shortMessageHtmlLink":"Fix strip_quoted_bot_name for comments containing a colon and add exp…"}},{"before":"2de93eb23245ac6c88cba7ca894c865cb47c4195","after":"77b3898f4b26cce477bbe41087a0095448fa9f23","ref":"refs/heads/master","pushedAt":"2023-06-13T15:08:36.857Z","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 regexp and abstract variable parts.","shortMessageHtmlLink":"Fix regexp and abstract variable parts."}},{"before":"429cc106740a4e6c7180afaf1ac6b89d48a62d2b","after":"2de93eb23245ac6c88cba7ca894c865cb47c4195","ref":"refs/heads/master","pushedAt":"2023-06-13T15:00:53.934Z","pushType":"push","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Update GitHub and GitLab GraphQL schema.","shortMessageHtmlLink":"Update GitHub and GitLab GraphQL schema."}},{"before":"1945e4e1e8bed7e730031146d67db3129b70b435","after":"429cc106740a4e6c7180afaf1ac6b89d48a62d2b","ref":"refs/heads/master","pushedAt":"2023-06-13T14:33:42.660Z","pushType":"push","commitsCount":2,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Activates mirroring to Inria GitLab for mathcomp/mathcomp.\n\nThis reverts commit ed313924fe85586fe26aff5d1ef90d489878559d.","shortMessageHtmlLink":"Activates mirroring to Inria GitLab for mathcomp/mathcomp."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QwMToyOTo1Mi4wMDAwMDBazwAAAAS4BSsw","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QwMToyOTo1Mi4wMDAwMDBazwAAAAS4BSsw","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0xM1QxNDozMzo0Mi42NjA3NjJazwAAAANAkR5q"}},"title":"Activity · coq/bot"}