Flight Log / 567-labs/instructor #1581

fix(deps): add dev and docs to project.optional-dependencies for uv compatibility — a Devin (Cognition) bot flight

The Devin bot (Cognition) opened this pull request in 567-labs/instructor on Jun 3, 2025; merged clean in 2.7 h, merged by @jxnl: +104 −12, 3 files, 2 reviews.

All agent flights in 567-labs/instructor · Devin flights

Merged cleanDevin flightsby Cognition ↗ attribution: AIDev dataset

Flown by @devin-ai-integration[bot]GitHub ↗— unclaimed

Lines
+104 −12
Files
3
Commits
7
Reviews
2
To merge
2.7 h
Task
fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

Devin opened a fix in the instructor repo so uv pip install stops warning about missing dev and docs extras. The change touched three files across seven commits, adding 104 lines and removing 12. The PR merged clean after two reviews, with no change requests, in 2.69 hours.

From the pull request description

# Fix uv pip install issue with missing dev and docs dependencies Fixes #1580 ## Problem `uv pip install -e ".[dev,docs,test-docs]"` was failing with warnings about missing extras because `dev` and `docs` dependencies were only defined in `[dependency-groups]` but not in `[project.optional-depende…

Excerpt (first 300 characters) — the full description is 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

  1. —committedDevin AI
  2. —reviewed
  3. —committedDevin AI
  4. —committedJason Liu
  5. —committedDevin AI
  6. —committedDevin AI
  7. —committedDevin AI
  8. —committedDevin AI
  9. —reviewed
  10. Jun 3, 2025labeledgithub-actions[bot]
  11. Jun 3, 2025labeledgithub-actions[bot]
  12. Jun 3, 2025labeledgithub-actions[bot]
  13. Jun 3, 2025mergedjxnl
  14. Jun 3, 2025closedjxnl

Cite this flight: AgentRiders Flight Log, 567-labs/instructor#1581, record updated Nov 4, 2026, https://agentriders.com/logs/567-labs/instructor/1581/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.