Skip to content

Enable filtered fetches#996

Merged
pjbgf merged 2 commits intomainfrom
filtered-fetches
Apr 24, 2026
Merged

Enable filtered fetches#996
pjbgf merged 2 commits intomainfrom
filtered-fetches

Conversation

@pjbgf
Copy link
Copy Markdown
Member

@pjbgf pjbgf commented Apr 21, 2026

@pjbgf pjbgf requested a review from a team as a code owner April 21, 2026 13:23
Copilot AI review requested due to automatic review settings April 21, 2026 13:23
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Enables the existing “filtered fetches” behavior for this repository by turning on the strategy_options.filtered_fetches flag in Entire CLI’s repo-local settings, so fetch operations can use partial/treeless fetches (and URL-based targets) where supported.

Changes:

  • Set .entire/settings.jsonstrategy_options.filtered_fetches to true.

Soph
Soph previously approved these changes Apr 22, 2026
Comment thread cmd/entire/cli/checkpoint/remote/git.go
pjbgf added 2 commits April 24, 2026 13:00
Signed-off-by: Paulo Gomes <paulo@entire.io>
Entire-Checkpoint: 11a89de438d4
@pjbgf pjbgf force-pushed the filtered-fetches branch from c6ce741 to da2cc23 Compare April 24, 2026 12:00
@pjbgf pjbgf enabled auto-merge April 24, 2026 12:12
@pjbgf pjbgf merged commit 1a36ff2 into main Apr 24, 2026
9 checks passed
@pjbgf pjbgf deleted the filtered-fetches branch April 24, 2026 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants