Closed tkuijer closed 1 year ago
Thanks for submitting a PR!
In order to review and merge PRs most efficiently, we require that all PRs grant maintainer edit access before we review them. For information on how to do this, see the relevant GitHub documentation. Additionally, GitHub doesn't allow maintainer permissions from organization accounts. Please resubmit this PR from a personal GitHub account with maintainer permissions enabled.
When working with site isolation, it is sometimes useful to be able to directly connect to a remote user, without the need to call
su
.This commit adds an additional option to the
forge ssh
command called--user
, which accepts the name of the remote user for which the connection is attempted.The option defaults to to
forge
which was the previous fixed user.