Skip to content

Order user reports by reported_at only, ignore the length for now.#41

Merged
denschub merged 1 commit intomainfrom
order-reports-by-time
Jun 17, 2025
Merged

Order user reports by reported_at only, ignore the length for now.#41
denschub merged 1 commit intomainfrom
order-reports-by-time

Conversation

@denschub
Copy link
Copy Markdown
Collaborator

As discussed in the meeting earlier, let's do that for now.

r? @jgraham

@denschub denschub requested a review from jgraham June 17, 2025 15:37
@denschub denschub merged commit 5e03be8 into main Jun 17, 2025
2 checks passed
@denschub denschub deleted the order-reports-by-time branch June 17, 2025 16:52
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