Add HEAD support for 5.x version, without introduction of new configuration properties.#3338
Merged
asbjornu merged 7 commits intoGitTools:support/5.xfrom Jan 20, 2023
Merged
Commits
Commits on Nov 29, 2022
Commits on Jan 12, 2023
- committed
- committed
Commits on Jan 13, 2023
- committed