The “repo” is just a separate github repo we push ...
# general
h
The “repo” is just a separate github repo we push binaries to, but it can be any web server