Merge pull request #3120 from glensc/patch-1
authorSteven Black <redacted>
Mon, 4 May 2026 17:49:59 +0000 (13:49 -0400)
committerGitHub <redacted>
Mon, 4 May 2026 17:49:59 +0000 (13:49 -0400)
Doc: Add docker build instructions without git clone


Trivial merge
git clone https://git.99rst.org/PROJECT