関連ワード:  edit file name in github    change file name in github    rename file name in github    change file name in github repo    how to change file name in github repository    can i change file name in github    how to rename a file in github    how to edit a folder name in github    how to rename a file in git