That's great. Do you have ST-Link v2 (SWD adapter) too?
There surely is a way to upload firmware with or without it, via USB only - many other devices use the same or compatible architecture, for example modules from Mutable Instruments, ST Demo boards or various Arduino-compatible boards.
Does
this guide apply to your system/version? You only need to install the st-util, then download the latest binary from
here and flash it.
The alternative route without SWD adapter:
First
install drivers, then upload binary using
serial bootloader.
"Enabling the Bootloader" step is on Gecho achieved by switching off and pressing reset - you should see LEDs glowing in
this pattern.
As not a Mac user, I cannot help you with more exact or verified steps, but hope this points you in the right direction.