mirror of
https://develop.openfoam.com/Development/openfoam.git
synced 2025-11-28 03:28:01 +00:00
- if local repo is up to date, HEAD and origin/HEAD are the same so id was returned twice
- if local repo is up to date, HEAD and origin/HEAD are the same so id was returned twice