It’s less typing but technically it’s one more request to the server which you have to wait for to fail before the correct request can be fucked, so it might be faster to do it the correct way from the get-go. Especially if you’ve done it before and you can just Ctrl+R and find it in the history, or you have a git alias (e.g. git phead)
You can also type
git push origin HEADand it also does thatYeah… but
Still is less typing tho
It’s less typing but technically it’s one more request to the server which you have to wait for to fail before the correct request can be
fucked, so it might be faster to do it the correct way from the get-go. Especially if you’ve done it before and you can just Ctrl+R and find it in the history, or you have a git alias (e.g.git phead)No, your local Git knows the branch isn’t tracking any upstream branch, so it never makes a request to the server.