~/.ssh $ cat config
Host pisvr
  HostName pisvr
  User user1

Host github.com
  Hostname github.com
  ProxyJump pisvr