関連ワード:  git change file name    git change file name case    git change file name capitalization    git change file name without losing history    git change file name case sensitive    git change file name uppercase    git change file name to lowercase    git change file name case windows    git change file name keep history    github change file name