Skip to content

Switch from pull to fetch and reset - #451

Merged
chennes merged 1 commit into
FreeCAD:devfrom
chennes:improveGitFetch
Jul 22, 2026
Merged

Switch from pull to fetch and reset#451
chennes merged 1 commit into
FreeCAD:devfrom
chennes:improveGitFetch

Conversation

@chennes

@chennes chennes commented Jul 22, 2026

Copy link
Copy Markdown
Member

To ensure that our git checkouts are as robust as possible, make sure the cache code ignores any local state and forces a checkout to the correct ref, regardless.

@chennes
chennes merged commit 3ed4047 into FreeCAD:dev Jul 22, 2026
8 checks passed
@chennes chennes added the release to main Trigger an Action to create a PR backporting to `main` label Jul 22, 2026
@chennes
chennes deleted the improveGitFetch branch July 22, 2026 23:24
@github-actions

Copy link
Copy Markdown

Successfully created backport PR for main:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release to main Trigger an Action to create a PR backporting to `main`

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant