Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove spurious colon in git push command
With the colon, this command will push not only the tag, but also all local branches matching remote ones (c.f. end of the refspec section in the git push manual).
- Loading branch information