The conclusions from the last time we discussed this [*1*], the last
word was that
git push $some_opt... --repo=$Repo $more_opt... $args...
is designed to work exactly like
git push $some_opt... $more_opt... $Repo $args...
and the documentation that says otherwise is incorrect.
I am using git 2.2.2 and want to report an issue with git push --repo option.
git 2.2.2 manual says that git push --repo=public will push to public
only if the current branch does not track a remote branch. See
http://git-scm.com/docs/git-push
However, I see that git pushes even when the
I am using git 2.2.2 and want to report an issue with git push --repo option.
git 2.2.2 manual says that git push --repo=public will push to public
only if the current branch does not track a remote branch. See
http://git-scm.com/docs/git-push
However, I see that git pushes even when the
3 matches
Mail list logo
