RepoFunnel: a tool for aggregating and filtering upstream components into a downstream repo - View it on GitHub