This first beta release include Kicad files for PCB and a rudimentary (but functional!) version of the pro micro code.
You can take these Gerber files to yer PCB producer of choice and flash yer Pro Micro with the software here. It'll work! Docs in progress. If you need help open an issue!