8
Dalam repositori Git, bagaimana cara mengganti nama direktori dengan benar?
Saya pikir itu harus bekerja untuk menyalin direktori untuk diubah namanya menjadi direktori baru dengan nama yang diinginkan, dan menghapus direktori lama , dan git add, git commitdan pushsemuanya. Tetapi apakah ini cara terbaik?