https://github.com/pcdshub/shared-dotfiles/blob/e3f85eb61a02fc6a12548684bd4fe2988b90dc50/off_site/ssh/config#L28 Recently additional psbuild servers were added. Should we avoid jumping to a specific server and allow the jump to whichever server is best?
shared-dotfiles/off_site/ssh/config
Line 28 in e3f85eb
Recently additional psbuild servers were added. Should we avoid jumping to a specific server and allow the jump to whichever server is best?