Merge PR #21608: Change ownership of the trakt plugin

Reviewed-by: SkySkimmer
Co-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>

Author: coqbot-app[bot]

dev/ci/ci-basic-overlay.sh

@@ -549,5 +549,5 @@ project autosubst_ocaml "https://github.com/uds-psl/autosubst-ocaml" "master"
 ########################################################################
 # Trakt
 ########################################################################
-project trakt "https://github.com/ecranceMERCE/trakt" "coq-master"
+project trakt "https://github.com/rocq-trakt/trakt" "coq-master"
 # Contact @ckeller on github