# 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 gauss
	User		mfocko
	Hostname	gauss.mfocko.xyz
	Port		4444

Host poincare
	User		mfocko
	Hostname	mfocko.xyz

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

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