git - 「host.name.edu:XXXX」は「.ssh/config」ファイルの無効な形式ですか?

Question

ssh URL 内のポートを使用して git サーバーに接続するように IT に指示されているという奇妙なケースがあります。私の元のssh構成は次のとおりです。

Host my-host-alias
  HostName redacted.redacted.edu
  Port 2222
  User git
  IdentityFile ~/.ssh/my-ssh-private-key

git remote url を使用していましたssh://git@my-host-alias/path/to/repo.git。その構成で奇妙な認証エラーが発生していたので (基本的な機能はまだ機能していました)、IT は git リモート URL を使用するように指示ssh://git@redacted.redacted.edu:2222/path/to/repo.gitし、手動で指定された で動作するように見えましたGIT_SSH_COMMAND='ssh -i ~/.ssh/my-private-ssh-key。そこで、次のように .ssh/config を再構成しました。

Host redacted.redacted.edu:2222
  IdentityFile ~/.ssh/my-ssh-private-key

突然、ssh がホスト エントリを解析できなくなったように見えます。実行するssh -Tvvv ssh://git@redacted.redacted.eduと、次の出力 (スニペット) が得られます。

debug1: /Users/myuser/.ssh/config line 94: Applying options for *
debug1: Reading configuration data /etc/ssh/ssh_config
debug1: /etc/ssh/ssh_config line 48: Applying options for *
debug1: /etc/ssh/ssh_config line 52: Applying options for *

URL でポートを使用してホストを指定すると、.ssh/config の解析が中断されるようです。誰かがこれを確認できますか？