Tools: master d9cdccac

Diff Back to Repository
Author Committer Branch Timestamp Parent
dregad dregad master 2017-01-28 11:40 master da629754
Changeset

Improve performance

Reduce number of Github API calls by caching repository data, and
processing that instead of making numerous has_in_repos() calls.

Benchmark shows 400% improvement in execution time (from 44s to 11s).
mod - github_plugin_teams.py Diff File