Pipeline

• 

  Rui Xue 06 May 2026 bb7783e1bd4b056902ffbb0044b35a1f8ffd4243

  PIPE-2738: Rename 'Development Workflow' to 'Git Development Workflow' for clarity and update index to reflect correct order of documentation.

  • docs/source/devel/process/git_dev_workflow.md (version bb7783e1bd4b056902ffbb0044b35a1f8ffd4243) (diffs)
  • docs/source/devel/process/index.md (version bb7783e1bd4b056902ffbb0044b35a1f8ffd4243) (diffs)