github url shorthands in .gitconfig