that you can use virtual hostnames and map them in the .ssh/config to real ones was new, thanks for sharing!
one more git alias that I find very handy, to set a local branch up with the origin counterpart branch:
track = "!git branch --set-upstream-to=origin/`git symbolic-ref --short HEAD`"
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.