Implement repository filters#764

mathias-luedtke wants to merge 2 commits into

ros-industrial:masterros-industrial/industrial_ci:masterfrom

mathias-luedtke:feature/repository-filtermathias-luedtke/industrial_ci:feature/repository-filterCopy head branch name to clipboard