Skip to content

chore: remove instructor-embedders from the staging branch - #3792

Merged
julian-risch merged 1 commit into
stagingfrom
chore/remove-instructor-embedders-from-staging
Aug 16, 2026
Merged

chore: remove instructor-embedders from the staging branch#3792
julian-risch merged 1 commit into
stagingfrom
chore/remove-instructor-embedders-from-staging

Conversation

@julian-risch

@julian-risch julian-risch commented Aug 16, 2026

Copy link
Copy Markdown
Member

Related Issues

Proposed Changes:

  • Remove integrations/instructor_embedders/ from the staging branch.
  • Remove the now-dangling .github/workflows/instructor_embedders.yml and the integration:instructor-embedders entry in .github/labeler.yml.

The integration was moved here in July 2025 (#2079) and we can fully remove it now.

How did you test it?

Notes for the reviewer

Checklist

  • I have read the contributors guidelines and the code of conduct
  • I have updated the related issue with new insights and changes — n/a, will update once the full set of PRs is up
  • I added unit tests and updated the docstrings — n/a, this only deletes code
  • I've used one of the conventional commit types for my PR title: fix:, feat:, build:, chore:, ci:, docs:, style:, refactor:, perf:, test:.

🤖 Generated with Claude Code

The integration was staged in July 2025 and the grace period has passed,
so drop its source, CI workflow and labeler entry from this branch.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@github-actions github-actions Bot added the type:documentation Improvements or additions to documentation label Aug 16, 2026
@julian-risch
julian-risch marked this pull request as ready for review August 16, 2026 08:00
@julian-risch
julian-risch requested a review from a team as a code owner August 16, 2026 08:00
@julian-risch
julian-risch requested review from anakin87 and removed request for a team and anakin87 August 16, 2026 08:00
@julian-risch
julian-risch merged commit 7d0fcda into staging Aug 16, 2026
13 of 15 checks passed
@julian-risch
julian-risch deleted the chore/remove-instructor-embedders-from-staging branch August 16, 2026 08:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic:CI type:documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant