Git push origin HEAD có nghĩa là gì?

Question

tôi thấy, trong official guide:

git push origin HEAD

Một cách thuận tiện để đẩy chi nhánh hiện tại với cùng tên trên remote.

Tuy nhiên, ý nghĩa của lệnh không rõ ràng đối với tôi. Tại sao nó lại có hiệu ứng này?

Tôi chưa thể tìm thấy câu trả lời (this question dường như để xử lý vấn đề, nhưng tiêu đề gây hiểu lầm).

Answer 1

HEAD trỏ lên đầu nhánh hiện tại. git có thể lấy tên chi nhánh từ đó. Vì vậy, nó giống như:

git push origin CURRENT_BRANCH_NAME 

nhưng bạn không phải nhớ/nhập tên chi nhánh hiện tại. Ngoài ra, nó cũng ngăn không cho bạn đẩy nhầm vào nhánh từ xa sai.

Nếu bạn muốn đẩy một nhánh khác với nhánh hiện tại, lệnh sẽ không hoạt động.