Skip to content

Conversation

@foolip
Copy link
Member

@foolip foolip commented Jan 21, 2026

No description provided.

Copy link
Collaborator

@noamr noamr left a comment

Choose a reason for hiding this comment

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

Maybe marker instead of sink?

@foolip foolip marked this pull request as ready for review January 21, 2026 11:18
Copy link
Collaborator

@noamr noamr left a comment

Choose a reason for hiding this comment

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

LGTM, see comments/small fixes

foolip and others added 2 commits January 21, 2026 12:39
Co-authored-by: Noam Rosenthal <noamr@users.noreply.github.com>
Co-authored-by: Philip Jägenstedt <philip@foolip.org>
Co-authored-by: Philip Jägenstedt <philip@foolip.org>
@foolip foolip merged commit 1fa3ae0 into main Jan 21, 2026
2 checks passed
github-actions bot added a commit that referenced this pull request Jan 21, 2026
SHA: 1fa3ae0
Reason: push, by foolip

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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.

3 participants