
Shared
Tools for devs to build.
The tools in this repo are used by all other repos.
SSH local setup
SSH Config file
Needs this in it:
# userXXX
# https://github.com/userXXX/dev
# e.g: git clone [email protected]:userXXX/dev.git
Host github.com-userXXX
HostName github.com
User git
UseKeychain yes
AddKeysToAgent yes
IdentityFile ~/.ssh/userXXX_github
Now you can build any of the code
All the code in all the repos does lots of code gen and so you need our tools to help.
Every repo including this one follows the same pattern with:
CI
The github actions just call the make files, so that you can run CI locally, and not go nuts 2nd guessing what the github actions are doing...