Skip to content

Comments

Update editor information in index.bs#165

Merged
arichiv merged 1 commit intomainfrom
arichiv-patch-1
Feb 20, 2026
Merged

Update editor information in index.bs#165
arichiv merged 1 commit intomainfrom
arichiv-patch-1

Conversation

@arichiv
Copy link
Collaborator

@arichiv arichiv commented Feb 20, 2026

Adding myself as an editor and updating Yoav's association

Adding myself as an editor and updating Yoav's association
@arichiv arichiv requested a review from yoavweiss February 20, 2026 20:11
@arichiv arichiv self-assigned this Feb 20, 2026
@arichiv arichiv requested a review from miketaylr February 20, 2026 20:17
Copy link
Collaborator

@yoavweiss yoavweiss left a comment

Choose a reason for hiding this comment

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

LGTM

@arichiv arichiv merged commit 062ffb5 into main Feb 20, 2026
1 of 2 checks passed
@miketaylr miketaylr deleted the arichiv-patch-1 branch February 20, 2026 21:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants