Simple and dirty script allowing a specific git config profile to be used when cloning a repo