Skip to content

Conversation

@UShivani3
Copy link
Member

No description provided.

@lintool
Copy link
Member

lintool commented Dec 9, 2024

Needs more tweaking before merging. Hold.

@lintool lintool self-requested a review December 9, 2024 21:24
@lintool
Copy link
Member

lintool commented Dec 9, 2024

The PR fixes the reader issue, but is incomplete (I wanted more changes). However, since @UShivani3 is currently unavailable, we'll merge and then circle back to address.

@lintool lintool merged commit a90973c into castorini:master Dec 9, 2024
1 check passed
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