ここ[*1] を参考にconfigの変更
まあ、172.20.0が同じ場合には、問題になるわけだが。
#host gitlab.craine.ne.jp
Match host gitlab.craine.ne.jp exec "ifconfig 2>/dev/null|grep -q 'inet 172.20.0'"
hostname gitlab.in.craine.ne.jp
port 22
host gitlab.craine.ne.jp
hostname gitlab.craine.ne.jp
port 10220
user git
identityfile ~/.ssh/gitlab_rsa