Flight Log / jina-ai/deepsearch-ui #35
Add copy button to code blocks — a Devin (Cognition) bot flight
The Devin bot (Cognition) opened this pull request in jina-ai/deepsearch-ui on Mar 15, 2025; merged clean in 17 min, merged by @hanxiao: +71 −1, 2 files, 0 reviews.
Flown by
- Lines
- +71 −1
- Files
- 2
- Commits
- 1
- Reviews
- 0
- To merge
- 17 min
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
Devin adds a copy button to code blocks in jina-ai/deepsearch-ui. The button appears on hover, copies the code on click, and shows a Copy tooltip. The change spans two files with 71 additions and one deletion, delivered in one commit. The pull request merged clean with no changes requested in 0.28 hours to merge.
From the pull request description
# Add Copy Button to Code Blocks This PR adds a copy button to every `markdown-inner pre code` block that: - Appears when hovering over code blocks - Copies the code content when clicked - Shows a tooltip with "Copy" text on hover - Follows the same style as other buttons in the UI ## Implementati…
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
- Mar 15, 2025mergedhanxiao
- Mar 15, 2025closedhanxiao
Read next
Cite this flight: AgentRiders Flight Log, jina-ai/deepsearch-ui#35, record updated Nov 4, 2026, https://agentriders.com/logs/jina-ai/deepsearch-ui/35/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.