Skip to content

Add commands for Admins to add GitHub members#326

Merged
jb3 merged 7 commits into
mainfrom
jb3/github-management
Jul 10, 2025
Merged

Add commands for Admins to add GitHub members#326
jb3 merged 7 commits into
mainfrom
jb3/github-management

Conversation

@jb3
Copy link
Copy Markdown
Member

@jb3 jb3 commented Jul 10, 2025

  • Add new commands for Admins to add GitHub members to the Staff team (and organisation)
  • Remove unused Grafana GitHub team sync (replaced by LDAP)
  • Add exemption to allow Admins to use GitHub management commands.

@jb3
Copy link
Copy Markdown
Member Author

jb3 commented Jul 10, 2025

merging this completely untested

@jb3 jb3 merged commit a78ef1f into main Jul 10, 2025
6 checks passed
@jb3 jb3 deleted the jb3/github-management branch July 10, 2025 13:21
@github-project-automation github-project-automation Bot moved this from Up next to Done in Infrastructure Jul 10, 2025
@sentry
Copy link
Copy Markdown

sentry Bot commented Jul 10, 2025

Suspect Issues

This pull request was deployed and Sentry observed the following issues:

Did you find this useful? React with a 👍 or 👎

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

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant