docs: fix deprecated git:// URL in installation guide#1675
Merged
tleonhardt merged 2 commits intoJun 5, 2026
Merged
GitHub Advanced Security / CodeQL
succeeded
Jun 5, 2026 in 1s
No new alerts in code changed by this pull request
Loading