Host github.com
    Hostname ssh.github.com
    Port 443
    User git

Host router.dorm.lan
    Hostname 192.168.1.1
    Port 11451
    User root

Host nas.dorm.lan
    Hostname 192.168.1.149
    Port 22
    User root 

Host ssh.git.kagurach.uk
	Hostname ssh.git.kagurach.uk
	Port 22
	User root

Host remote.dorm.lan
	Hostname ssh.git.kagurach.uk
	Port 30072
	User root