Added some shorthand for github repos.