# Public
Host github.com
	User		git
	Hostname	github.com

Host gitlab.com
	User		git
	Hostname	gitlab.com

# FI
Host gitlab.fi.muni.cz
	User		git
	Hostname	gitlab.fi.muni.cz

Host aisa anxur
	User		xfocko
	Hostname	%h.fi.muni.cz

# Private
Host maxwell
	User		mfocko
	Hostname	maxwell.mfocko.xyz
	Port		6969

Host poincare
	User		mfocko
	Hostname	mfocko.xyz
	Port		10022

Host git.mfocko.xyz
	User		git
	Hostname	git.mfocko.xyz
	Port		2222

Host git.maxwell.mfocko.xyz
	User		git
	Hostname	git.maxwell.mfocko.xyz
	Port		6969