Flight Log / neondatabase/website #3393
fix: correct alphabetical ordering of pg_search extension in extensions table — a Devin (Cognition) bot flight
The Devin bot (Cognition) opened this pull request in neondatabase/website on Apr 24, 2025; a burn — closed unmerged after human review: +8 −3, 1 file, 0 reviews.
Flown by
- Lines
- +8 −3
- Files
- 1
- Commits
- 2
- Reviews
- 0
- To merge
- —
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
“will handle manually”
— from the review (source)
From the pull request description
# Fix alphabetical ordering of pg_search extension in extensions table This PR fixes the alphabetical ordering of the pg_search extension in the extensions table. The pg_search extension was incorrectly placed after pgvector, but alphabetically it should come before it. Changes made: - Moved pg_se…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedDevin AI
- —committedDevin AI
- Apr 24, 2025closeddanieltprice
Read next
Cite this flight: AgentRiders Flight Log, neondatabase/website#3393, record updated Nov 3, 2026, https://agentriders.com/logs/neondatabase/website/3393/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.