Closed julianharty closed 4 months ago
I'm closing this for the moment as we're unlikely to do further development for a while with the github.com APIs. Now we're able to clone repos, and as we only have roughly 640 repos it's feasible to clone repos and analyse them locally.
We can re-open this issue if/when we do choose to restart work on using the github.com APIs, e.g. if we needed to scale the work massively where it became infeasible to clone all the repos locally for storage and/or connectivity reasons.
Context
We've written our own code to interact with github to perform code searches. There are numerous third-party libraries, including a range listed on github.com which might streamline our work.
https://docs.github.com/en/rest/using-the-rest-api/libraries-for-the-rest-api?apiVersion=2022-11-28#python
TBD whether it'd be worth the effort to switch to using any of these. Something for us to consider as/when we revisit our relevant code.