{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":43682820,"defaultBranch":"master","name":"Mtac2","ownerLogin":"Mtac2","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-10-05T12:26:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14977893?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713949237.0","currentOid":""},"activityList":{"items":[{"before":"16b5923ea5e67367eb45648d13d24bcd6b6ba2fd","after":"caa52a1e21c5368105f4ab8e9f4bf3235aedfa7c","ref":"refs/heads/master","pushedAt":"2024-04-24T00:02:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #402 from SkySkimmer/erelevance\n\nAdapt to coq/coq#18938 (EConstr.ERelevance)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248110931\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/402\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/402/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/402\">#402</a> from SkySkimmer/erelevance"}},{"before":"0faaeefceb18c786e68df6e43a57387067c013f8","after":"ac4fd308da78a8437aa073d73bbaf35e08d88dae","ref":"refs/heads/master-8.19","pushedAt":"2024-04-22T16:33:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Remove version constraint for coq-unicoq","shortMessageHtmlLink":"Remove version constraint for coq-unicoq"}},{"before":"5c096320839c99709c166ec5fb09e2add6fdffbb","after":"0faaeefceb18c786e68df6e43a57387067c013f8","ref":"refs/heads/master-8.19","pushedAt":"2024-04-22T16:29:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Be less specific about the OCaml version for CI.","shortMessageHtmlLink":"Be less specific about the OCaml version for CI."}},{"before":"3a62fddfc710e7d41c62c593bf469cf7f445a5e4","after":"5c096320839c99709c166ec5fb09e2add6fdffbb","ref":"refs/heads/master-8.19","pushedAt":"2024-04-22T16:25:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Update CI and opam files for Coq 8.19.","shortMessageHtmlLink":"Update CI and opam files for Coq 8.19."}},{"before":"919348ac83619b79dadd1cc4e9d3bff6ed2ba153","after":"16b5923ea5e67367eb45648d13d24bcd6b6ba2fd","ref":"refs/heads/master","pushedAt":"2024-04-11T16:37:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #401 from SkySkimmer/program-ref-by-tactic\n\nAdapt to coq/coq#18881 (refine_by_tactic returns econstr)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2225610301\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/401\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/401/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/401\">#401</a> from SkySkimmer/program-ref-by-tactic"}},{"before":"757cbd112f13ac379e3d4bc4c2478e02bd018087","after":"919348ac83619b79dadd1cc4e9d3bff6ed2ba153","ref":"refs/heads/master","pushedAt":"2024-03-26T15:17:14.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #399 from SkySkimmer/vernac-focus\n\nAdapt to coq/coq#18707 (proof mode needs to cooperate with subprf grammar)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2186528015\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/399\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/399/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/399\">#399</a> from SkySkimmer/vernac-focus"}},{"before":"9b7c71f68827e939c9d302f6b3c8723f0c982ede","after":"757cbd112f13ac379e3d4bc4c2478e02bd018087","ref":"refs/heads/master","pushedAt":"2024-02-22T18:01:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #398 from Yann-Leray/rewrite-rules\n\nAdapt to coq/coq#18038 (rewrite rules)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2118663572\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/398\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/398/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/398\">#398</a> from Yann-Leray/rewrite-rules"}},{"before":"71640c37a3685db5c7aab069cede807faadacc25","after":"9b7c71f68827e939c9d302f6b3c8723f0c982ede","ref":"refs/heads/master","pushedAt":"2024-01-24T10:28:33.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #397 from rlepigre/br/fix-18281\n\nAdapt to coq/coq#18327 (projection opacity)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2041827096\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/397\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/397/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/397\">#397</a> from rlepigre/br/fix-18281"}},{"before":"c1bdb1c49345ce7f31262e21b1bbbe362ccbf9cd","after":"71640c37a3685db5c7aab069cede807faadacc25","ref":"refs/heads/master","pushedAt":"2023-11-25T16:12:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #395 from herbelin/master+adapt-coq-pr18253-no-poly-for-coercion\n\nAdapt to Coq PR #18253: poly flag is spurious on add_coercion_hook","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1976773138\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/395\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/395/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/395\">#395</a> from herbelin/master+adapt-coq-pr18253-no-pol…"}},{"before":"afc6ee31549e248ea02859524ada93d21760bf2d","after":"c1bdb1c49345ce7f31262e21b1bbbe362ccbf9cd","ref":"refs/heads/master","pushedAt":"2023-11-13T15:01:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #396 from SkySkimmer/ci-relevance\n\nAdapt to coq/coq#18280 (case relevance outside case info)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1985905916\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/396\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/396/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/396\">#396</a> from SkySkimmer/ci-relevance"}},{"before":"48832e01cb29e7ffd9cc41c8a4259ea57db9a858","after":"afc6ee31549e248ea02859524ada93d21760bf2d","ref":"refs/heads/master","pushedAt":"2023-11-08T11:29:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Merge pull request #392 from SkySkimmer/sort-poly\n\nAdapt to coq/coq#17836 (sort poly)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1902799676\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/392\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/392/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/392\">#392</a> from SkySkimmer/sort-poly"}},{"before":"a5d162432ec83bbddb85a19c06a8303c760ea85e","after":"37a42230adb3d8f58d599a45a49f84557edcf06c","ref":"refs/heads/master-8.18","pushedAt":"2023-10-27T07:16:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Adapt to Coq/Coq#18164\n\nWe want to remove deprecated Arith files.","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943806593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18164/hovercard\" href=\"https://github.com/coq/coq/pull/18164\">coq/coq#18164</a>"}},{"before":"c726e79ffbd9c7102114c9e59fbed59b55cc752a","after":"a5d162432ec83bbddb85a19c06a8303c760ea85e","ref":"refs/heads/master-8.18","pushedAt":"2023-10-27T07:11:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Janno","name":"Jan-Oliver Kaiser","path":"/Janno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70595?s=80&v=4"},"commit":{"message":"Adapt to Coq/Coq#18164\n\nWe want to remove deprecated Arith files.","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943806593\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18164/hovercard\" href=\"https://github.com/coq/coq/pull/18164\">coq/coq#18164</a>"}},{"before":"d74e28c6b087c988aa3c55c5afa0fc01cce3e0a7","after":"48832e01cb29e7ffd9cc41c8a4259ea57db9a858","ref":"refs/heads/master","pushedAt":"2023-10-26T08:17:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"Merge #394\n\n394: Adapt to Coq/Coq#18164 r=Janno a=Villetaneuse\n\nWe want to remove deprecated Arith files.\n\nCo-authored-by: Pierre Rousselin <rousselin@math.univ-paris13.fr>","shortMessageHtmlLink":"Merge <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1954559254\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/394\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/394/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/394\">#394</a>"}},{"before":"18c6cf90c5ae24a435e773edda6e70426de561bf","after":null,"ref":"refs/heads/staging.tmp","pushedAt":"2023-10-26T08:14:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"}},{"before":"d74e28c6b087c988aa3c55c5afa0fc01cce3e0a7","after":"48832e01cb29e7ffd9cc41c8a4259ea57db9a858","ref":"refs/heads/staging","pushedAt":"2023-10-26T08:14:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"Merge #394\n\n394: Adapt to Coq/Coq#18164 r=Janno a=Villetaneuse\n\nWe want to remove deprecated Arith files.\n\nCo-authored-by: Pierre Rousselin <rousselin@math.univ-paris13.fr>","shortMessageHtmlLink":"Merge <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1954559254\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/394\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/394/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/394\">#394</a>"}},{"before":"f31a288fbbf445cdafbb2bc2650009d207672f0e","after":"18c6cf90c5ae24a435e773edda6e70426de561bf","ref":"refs/heads/staging.tmp","pushedAt":"2023-10-26T08:14:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"[ci skip][skip ci][skip netlify] -bors-staging-tmp-394","shortMessageHtmlLink":"[ci skip][skip ci][skip netlify] -bors-staging-tmp-394"}},{"before":null,"after":"f31a288fbbf445cdafbb2bc2650009d207672f0e","ref":"refs/heads/staging.tmp","pushedAt":"2023-10-26T08:14:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"[ci skip][skip ci][skip netlify]","shortMessageHtmlLink":"[ci skip][skip ci][skip netlify]"}},{"before":"41752560929703ee5cebd64a738a601691f7a399","after":"c726e79ffbd9c7102114c9e59fbed59b55cc752a","ref":"refs/heads/master-8.18","pushedAt":"2023-09-27T13:30:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"beta-ziliani","name":"Beta Ziliani","path":"/beta-ziliani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5183634?s=80&v=4"},"commit":{"message":"removing version number for unicoq","shortMessageHtmlLink":"removing version number for unicoq"}},{"before":"1d166bc5f390b4864474b1cd6ca80990b86950e0","after":"41752560929703ee5cebd64a738a601691f7a399","ref":"refs/heads/master-8.18","pushedAt":"2023-09-27T13:27:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"beta-ziliani","name":"Beta Ziliani","path":"/beta-ziliani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5183634?s=80&v=4"},"commit":{"message":"fixing opam versions of packages","shortMessageHtmlLink":"fixing opam versions of packages"}},{"before":"f59e0a995002a1d116a6bf4145d1757325269da9","after":"1d166bc5f390b4864474b1cd6ca80990b86950e0","ref":"refs/heads/master-8.18","pushedAt":"2023-09-27T13:22:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"beta-ziliani","name":"Beta Ziliani","path":"/beta-ziliani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5183634?s=80&v=4"},"commit":{"message":"fixup","shortMessageHtmlLink":"fixup"}},{"before":null,"after":"f59e0a995002a1d116a6bf4145d1757325269da9","ref":"refs/heads/master-8.18","pushedAt":"2023-09-27T13:18:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"beta-ziliani","name":"Beta Ziliani","path":"/beta-ziliani","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5183634?s=80&v=4"},"commit":{"message":"updating CI","shortMessageHtmlLink":"updating CI"}},{"before":"0157241813ec384a77f747c586d6d11410e627ba","after":"d74e28c6b087c988aa3c55c5afa0fc01cce3e0a7","ref":"refs/heads/master","pushedAt":"2023-09-19T08:05:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"Merge #391\n\n391: Adapt to coq/coq#18023 (RedFlags moving out of CClosure) r=Janno a=rlepigre\n\n\n\nCo-authored-by: Rodolphe Lepigre <rodolphe@bedrocksystems.com>","shortMessageHtmlLink":"Merge <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1898112233\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/391\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/391/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/391\">#391</a>"}},{"before":"39e83618acbccd6739184556e437dba1939e28ed","after":null,"ref":"refs/heads/staging.tmp","pushedAt":"2023-09-19T08:01:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"}},{"before":"5ad949733ddb19b681692996dd1b02129a660d31","after":"d74e28c6b087c988aa3c55c5afa0fc01cce3e0a7","ref":"refs/heads/staging","pushedAt":"2023-09-19T08:01:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"Merge #391\n\n391: Adapt to coq/coq#18023 (RedFlags moving out of CClosure) r=Janno a=rlepigre\n\n\n\nCo-authored-by: Rodolphe Lepigre <rodolphe@bedrocksystems.com>","shortMessageHtmlLink":"Merge <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1898112233\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/391\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/391/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/391\">#391</a>"}},{"before":"060dbc571635b26902b5a88567d2e25970c9c6d0","after":"39e83618acbccd6739184556e437dba1939e28ed","ref":"refs/heads/staging.tmp","pushedAt":"2023-09-19T08:01:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"[ci skip][skip ci][skip netlify] -bors-staging-tmp-391","shortMessageHtmlLink":"[ci skip][skip ci][skip netlify] -bors-staging-tmp-391"}},{"before":null,"after":"060dbc571635b26902b5a88567d2e25970c9c6d0","ref":"refs/heads/staging.tmp","pushedAt":"2023-09-19T08:01:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"[ci skip][skip ci][skip netlify]","shortMessageHtmlLink":"[ci skip][skip ci][skip netlify]"}},{"before":"848e0e058801498bdf51d6faec2e0c4f61a78b7b","after":null,"ref":"refs/heads/staging.tmp","pushedAt":"2023-09-19T07:01:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"}},{"before":"0157241813ec384a77f747c586d6d11410e627ba","after":"5ad949733ddb19b681692996dd1b02129a660d31","ref":"refs/heads/staging","pushedAt":"2023-09-19T07:01:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"Merge #391\n\n391: Adapt to coq/coq#18023 (RedFlags moving out of CClosure) r=SkySkimmer a=rlepigre\n\n\n\nCo-authored-by: Rodolphe Lepigre <rodolphe@bedrocksystems.com>","shortMessageHtmlLink":"Merge <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1898112233\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Mtac2/Mtac2/issues/391\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Mtac2/Mtac2/pull/391/hovercard\" href=\"https://github.com/Mtac2/Mtac2/pull/391\">#391</a>"}},{"before":"9b46808d5db052dfaa783498cc8d8254f211e910","after":"848e0e058801498bdf51d6faec2e0c4f61a78b7b","ref":"refs/heads/staging.tmp","pushedAt":"2023-09-19T07:01:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors[bot]","name":null,"path":"/apps/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/1847?s=80&v=4"},"commit":{"message":"[ci skip][skip ci][skip netlify] -bors-staging-tmp-391","shortMessageHtmlLink":"[ci skip][skip ci][skip netlify] -bors-staging-tmp-391"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOJgs6QA","startCursor":null,"endCursor":null}},"title":"Activity · Mtac2/Mtac2"}