support using github credentials
jelmer opened this issue · comments
Jelmer Vernooij commented
The GitHub API has a low rate-limit per IP for unauthenticated users, which we regularly hit on the scruffy.
The upstream ontologist should support having credentials passed in, or reading them from the users home directory.
For simplicity we should support the GITHUB_TOKEN environment variable, in addition to potentially reading the users' home directory.
- Use GITHUB_TOKEN for API operations
- Inject into Breezy git operations