Tại sao Git sử dụng
git push <remote> :<branch>
như trong
git push origin :featureA
để xóa chi nhánh featureA
khỏi máy chủ từ xa?
Tôi quan tâm đến lý do tại sao dấu hai chấm được sử dụng làm cờ xóa.
Nó rất khác với git branch -d <localbranch>
.
Tại sao chúng ta không làm điều gì đó như
git branch -d --remote origin <branchname>
hoặc có một ý nghĩa sâu xa hơn đằng sau biểu tượng dấu hai chấm mà tôi không biết?
git push origin --delete foobar