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 |
|||
| mod - github_plugin_teams.py | Diff File | |||