Git: set up global user name and email