Skip to content

Conversation

@elegaanz
Copy link
Member

It is easier to see who should review which PR this way.

@elegaanz elegaanz requested review from a team and saecki and removed request for a team February 11, 2026 11:33
@elegaanz elegaanz requested review from a team and saecki and removed request for a team and saecki February 11, 2026 11:41
@elegaanz elegaanz requested review from a team and saecki and removed request for a team and saecki February 11, 2026 11:45
@elegaanz elegaanz requested review from a team and saecki and removed request for a team and saecki February 11, 2026 11:51
@elegaanz elegaanz requested review from a team and saecki and removed request for a team and saecki February 11, 2026 11:56
@elegaanz elegaanz requested review from a team and saecki and removed request for a team and saecki February 11, 2026 11:59
@elegaanz elegaanz requested review from a team and saecki and removed request for a team and saecki February 11, 2026 12:02
It is easier to see who should review which PR
this way.
@elegaanz elegaanz merged commit 53f408b into main Feb 11, 2026
2 checks passed
saecki added a commit that referenced this pull request Feb 12, 2026
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