Which repos can I index?
- You may only index repos that you are a member of.
- If you would like a public repo indexed that is not already, fill out the form here.
What files are indexed?
- Small repos below 2,000 files index every file, including code files.
- Repos above 2,000 files index documentation files only.
Synchronization
- Repos are synced on a 5 minute cron.
- Indexing is incremental so Ref will compare the current commit to the most recently indexed commit. This means if you modify the git history for your repo, indexing could fail and you will need to remove and re-add the repo from Ref.
Authentication
- Ref reaches your private repos through the Ref GitHub App. Connect it in Your Resources > Repos, then add the repos you want indexed. On a GitHub organization, an org owner may need to approve the App.