Add support for mirroring with non-matching full repo names and use it.

Backtrack on renaming of GitLab repository.

Minimal updates for the rocq-prover GitHub organization migration. (#338

Update GitHub and GitLab GraphQL schema.

Update organization name for Rocq-community.

Fix auto minimizer parsing the job summary (#337)

Adapt to rocq-prover/rocq#19925 (artifacts have _install_ci) (#336)

Fix auto minimizer to download all dependencies (#333)

Missing newline at the end of a log message.

Adapt to rocq-prover/rocq#19530. (#330)

bug-minimizer: link to run-coq-bug-minimizer/actions more (#329)

Add .mailmap (#328)

Update GitLab GraphQL schema.

Bump OCaml version used in Docker image. (#326)

Update GitHub and GitLab GraphQL schemas.

Update to mirage-crypto 1.0.0 API (#314)

Include stderr in error reports for easier debugging (#320)

Migrate coq/opam to use Inria GitLab instead of GitLab.com. (#324)

Workaround another opam timeout.

dune build @fmt --auto-promote with ocamlformat 0.26.2 (#316)

Post a comment when the bug minimizer fails to start, even when not i…

Longer timeout for depext (#322)

Don't leak the token in the error message (#317)

bug-minimizer: link to run-coq-bug-minimizer/actions more (#312)

Simplify Docker image build.

Simplify Docker image build.

Update GitHub and GitLab GraphQL schemas.

bug-minimizer: link to run-coq-bug-minimizer/actions (#310)