Add a --filter option to restrict which repositores are synchronized
Merge pull request #30 from raphink/dev/filter_repo

Add a --filter option to restrict which repositores are synchronized