Could we provide a mechanism to allow core developers outside Hugging Face to trigger CIs on their PRs?