Fix git repository's name