Learn more about these different git repos.
Other Git URLs
511ca2c
Small optimization: do not query dist-git if we're only interested in packages watched Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>