Learn more about these different git repos.
Other Git URLs
8968cf6
CI: install new deps after merging the PR under test Signed-off-by: Aurélien Bompard <aurelien@bompard.org>