Automate microsite deployment with build script and GitHub Actions#81

ChipWolf with Copilot wants to merge 5 commits into

mainChipWolf/BadgeSort:mainfrom

copilot/deduplicate-badgesort-micrositeChipWolf/BadgeSort:copilot/deduplicate-badgesort-micrositeCopy head branch name to clipboard