ci: use another repo in CI