Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

GitHub organization management tooling #16

Open
gdude2002 opened this issue Dec 9, 2021 · 1 comment
Open

GitHub organization management tooling #16

gdude2002 opened this issue Dec 9, 2021 · 1 comment
Assignees
@TheGlitch76
Labels
enhancement New feature or request help wanted Extra attention is needed question Further information is requested

Comments

@gdude2002
Copy link
Contributor

Cozy should integrate with GitHub Teams, in order to either assign users to teams that correspond with their Discord roles on the Toolchain server, or to grant users roles based on the teams they're assigned to on GitHub.

This needs fleshing out. Please have a conversation!
@gdude2002 gdude2002 added enhancement New feature or request help wanted Extra attention is needed question Further information is requested labels Dec 9, 2021
@TheGlitch76
Copy link
Member

TheGlitch76 commented Dec 10, 2021 •
edited by gdude2002

I am working on a prototype of this on the side, but it's definitely not a top priority at the moment.

PR: #19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@TheGlitch76 TheGlitch76

Labels
enhancement New feature or request help wanted Extra attention is needed question Further information is requested
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gdude2002 @TheGlitch76