Learn more about these different git repos.
Other Git URLs
5fefc0a
Use Jenkinsfile from PR for pre-merge CI builds Signed-off-by: Lukas Holecek <hluk@email.cz>