Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add missing HEAD argument in 2 Git commands
These commands had been inserted in k88hudson#148 and (over)simplified in k88hudson#163. The issue is that `git push <remote>` & `git push -u <remote` will typically raise the error below (unlike `git push <remote> HEAD`): --8<---------------cut here---------------start------------->8--- fatal: The current branch new-branch has no upstream branch. To push the current branch and set the remote as upstream, use git push --set-upstream origin new-branch --8<---------------cut here---------------end--------------->8---
- Loading branch information