He encontrado algunos problemas al usar git recientemente, regístrelos después de resolverlos.
Acerca de la eliminación de ramas
Quiere eliminar la rama llamada dev:
// 删除远程分支
git push origin --delete dev
// 删除本地分支
git branch -D dev
Pero si se elimina una rama en el repositorio remoto, este comando no eliminará la rama de seguimiento remoto local.
En este momento, puede ver el repositorio remoto a través de git remote show origin . En
este momento, hay otro comando git remote prune para eliminar el local Las ramas de seguimiento remoto no válidas en el repositorio
El método de uso específico es el siguiente
// 查看需要清理的分支有哪些
git remote prune origin --dry-run
// 看到之后继续使用下面这条命令
git remote prune origin
De esta manera, se completa la limpieza de las ramas de seguimiento remoto no válidas.