Hi, how do you change the Git local repository folder name? It is called "project" by default, so we would like to rename it to something more descriptive especially for the remote repo's sake. Thanks!