Skip to content

FIX/DOC: do not move .git folder when moving current version#821

Merged
theOehrly merged 3 commits intomasterfrom
doc-ci-improvements
Jan 11, 2026
Merged

FIX/DOC: do not move .git folder when moving current version#821
theOehrly merged 3 commits intomasterfrom
doc-ci-improvements

Commits

Commits on Jan 11, 2026