Tools: master e17a3060

Author Committer Branch Timestamp Parent
dregad dregad master 2019-08-06 07:29 master 73fda1fd
Changeset

Create Plugin teams if they don't exist

For each repo, check if a corresponding team granting push access to it
exists, and create it not.

mod - github_plugin_teams.py Diff File