Tools: master 9039c472

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

Specify privilege associated with Github team

Instead of always granting 'push' access, it is now possible to set
the desired access (pull, push, admin) for each team in the config
file.
mod - config_defaults.yml Diff File
mod - github_plugin_teams.py Diff File