Skip to content
Snippets Groups Projects

repo-updater: Ensure default repos stay cloned

Merged repo-updater: Ensure default repos stay cloned
ensure-indexed-repos-cloned into main
Merged
Administratorrequested to merge
ensure-indexed-repos-cloned into main

Created by: ryanslade

This change ensures that our default repos are always known to the scheduler before we sync the cloned status. This will ensure that we always notice when default repos are no longer cloned.

Closes https://github.com/sourcegraph/sourcegraph/issues/16007

Merge request reports

Approval is optional

Merged by avatar (Sep 20, 2025 2:46am UTC)

Merge details

  • Changes merged into main with 34d2a0aa.
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply