Repository navigation

[#1664] keep develop docs (i.e., prevent overwriting) when merging to… - #1665

Closed

jfdev001 wants to merge 2 commits into

AVSLab:developfrom

jfdev001:hotfix/bsk-1664-keep-dev-docs-when-merging-to-master

Closed

[#1664] keep develop docs (i.e., prevent overwriting) when merging to…#1665
jfdev001 wants to merge 2 commits into
AVSLab:developfrom
jfdev001:hotfix/bsk-1664-keep-dev-docs-when-merging-to-master

Commits on Nov 2, 2026
- [#1664] keep develop docs (i.e., prevent overwriting) when merging to master
  jfdev001
  committed
  9c95f3d
- [#1664] document the preservation of dev docs fix
  jfdev001
  committed
  74a4152