Skip to content

chore: add missing team members#35980

Merged
Hona merged 2 commits into
devfrom
team-members
Jul 8, 2026
Merged

chore: add missing team members#35980
Hona merged 2 commits into
devfrom
team-members

Conversation

@opencode-agent

@opencode-agent opencode-agent Bot commented Jul 8, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add Aarav (arvsrn), Kamil (usrnk1), Ludvig (ludvigrask), and Stefan (Slickstef11) to the checked-in team roster
  • keep their PRs out of community contributor sections and team-exempt PR automation

David (iamdavidhill) is already present in the roster.

Audit

  • reviewed the current company roster against .github/TEAM_MEMBERS
  • checked OpenCode commits and PRs created since May 8, 2026
  • Stefan authored merged PRs #32096 and #34080, both incorrectly treated as contributor PRs
  • Ludvig has no OpenCode PRs in the two-month window, but his GitHub identity is verified against the current company roster
  • remaining current employees without roster entries do not have verified GitHub identities or OpenCode PRs in the window

Verification

  • verified all added GitHub logins appear exactly once in .github/TEAM_MEMBERS
  • verified there are no case-insensitive duplicate entries
  • git diff --check

@opencode-agent opencode-agent Bot changed the title chore: add design team members chore: add missing team members Jul 8, 2026
@Hona
Hona marked this pull request as ready for review July 8, 2026 23:53
Copilot AI review requested due to automatic review settings July 8, 2026 23:53
@Hona
Hona merged commit 0abbcdd into dev Jul 8, 2026
10 checks passed
@Hona
Hona deleted the team-members branch July 8, 2026 23:53

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

This PR updates the checked-in team roster used by GitHub automation to recognize additional employees as team members (so their PRs/issues aren’t treated as community contributions and are exempt from certain automations).

Changes:

  • Added arvsrn, ludvigrask, Slickstef11, and usrnk1 to .github/TEAM_MEMBERS.
  • Leaves the existing entry for iamdavidhill unchanged (already present).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

avion23 pushed a commit to avion23/opencode that referenced this pull request Jul 9, 2026
Co-authored-by: Luke Parker <10430890+Hona@users.noreply.github.com>
anduimagui pushed a commit to anduimagui/opencode that referenced this pull request Jul 9, 2026
Co-authored-by: Luke Parker <10430890+Hona@users.noreply.github.com>
zz99mz-212 pushed a commit to zz99mz-212/opencode-New-Horizons that referenced this pull request Jul 16, 2026
Co-authored-by: Luke Parker <10430890+Hona@users.noreply.github.com>
avion23 pushed a commit to avion23/opencode that referenced this pull request Jul 20, 2026
Co-authored-by: Luke Parker <10430890+Hona@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants