git: additional repository aliases, global gitignore