...
Adding a self-hosted runner to a repository or an organization
I added our dev server to the organization as many repositories uses the dev server. For prod server that only related to one repo (such as SPI), it's better to install to a repository.Set up SSH Key for GitHub to skip password at each git command
sample workflow syntax for deploy to dev and prod.
How to run SSH commands
We probably won't use this approach because of the IP restriction firewall. I put down my research in case it's useful in the future.
...