Skip to content

Add member to community champions list - #59386

Merged
JosephTLyons merged 1 commit into
mainfrom
Add-member-to-community-champions-list
Jun 15, 2026
Merged

Add member to community champions list#59386
JosephTLyons merged 1 commit into
mainfrom
Add-member-to-community-champions-list

Conversation

@JosephTLyons

Copy link
Copy Markdown
Collaborator

Release Notes:

  • N/A

@zed-community-bot zed-community-bot Bot added the staff Pull requests authored by a current member of Zed staff label Jun 15, 2026
@JosephTLyons
JosephTLyons added this pull request to the merge queue Jun 15, 2026
Merged via the queue into main with commit c896cc9 Jun 15, 2026
33 checks passed
@JosephTLyons
JosephTLyons deleted the Add-member-to-community-champions-list branch June 15, 2026 21:27
@cla-bot cla-bot Bot added the cla-signed The user has signed the Contributor License Agreement label Jun 15, 2026
This was referenced Jun 18, 2026
jolutz pushed a commit to jolutz/zed that referenced this pull request Aug 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement staff Pull requests authored by a current member of Zed staff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants