Skip to content

GitHub management#6

Merged
matejstastny merged 6 commits into
mainfrom
github_management
Jun 3, 2026
Merged

GitHub management#6
matejstastny merged 6 commits into
mainfrom
github_management

Conversation

@CPrutean
Copy link
Copy Markdown
Member

@CPrutean CPrutean commented Jun 2, 2026

What changed

Added a github user management tool to the dashboard.

Added github management tool to the admin panel.

Why

Saves us from having to have one person be the central source of adding github users, you can now use the dashboard to do it much easier.

Type of change

  • Feature (feat/)
  • Bug fix (fix/)
  • Chore / infra (chore/)
  • Docs (docs/)
  • Refactor (refactor/)

Checklist

  • pnpm lint passes
  • pnpm format:check passes
  • If schema.ts was changed - migration generated (pnpm db:generate) and committed alongside the schema
  • PR is focused on one concern

@CPrutean CPrutean added the enhancement New feature or request label Jun 2, 2026
@CPrutean CPrutean self-assigned this Jun 2, 2026
Copy link
Copy Markdown
Member

@matejstastny matejstastny left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

works

@matejstastny matejstastny merged commit 15b93e6 into main Jun 3, 2026
1 check passed
@matejstastny matejstastny deleted the github_management branch June 3, 2026 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants