The CI server that powers the opam-repository CI is being upgraded to a more powerful 36-core machine with fast disks. As part of this migration, the deployment will also be run by the
bactrian bot, instead of my personal mugshot on the CI page
I’m also taking this opportunity to fix several small ails in the opam2 integration, thanks to patches from @jpdeplaix. In the short-term, you may see duplicated status updates in the opam-repository PRs, since both systems are running simultaneously. I’ll post here when the migration is debugged and complete.