DEV: point to GitHub for source downloads#1358

Merged

dwdougherty merged 3 commits intocommunity-edition-8from

Apr 3, 2025

Commits on Apr 2, 2025

Commits on Apr 3, 2025

Finalize the build instructions
dwdougherty
committed