3 ms·
how is this different from: git push -u origin head ?
by phamilton 8y ago
how is this different from:
git push -u origin head
?
- saidajigumi 8y agoGood point; I'd missed that someone taught git a smarter "spelling" for this task. IIRC, `git push -u origin HEAD` didn't used to automatically create a branch of the same name on that remote -- the explicit colon notion was required. I've had this little script around for a long time...
- majewsky 8y agoI just do git push -u which does what I want since I set git config --global push.default=current