robbyrussell/oh-my-zsh — pull request #1973 by babybeasimple (2013-07-13 10:11:37+00:00)
Title: add git checkout dev alias

dev branch is used very often, why not?