This repository was archived by the owner on Feb 18, 2022. It is now read-only.
This repository was archived by the owner on Feb 18, 2022. It is now read-only.
Add --skip-repos option to repoxplorer-github-organization #61
Description
How to exclude specific repos from repoxplorer-github-organization?
I thought that this is what indexer_skip_projects was for and then I realised it had a different scope from what I was looking for.