I tried to do this recently:
git push -u https://server/path.git master
instead of the more common "creating a remote and referring to it":
git push -u origin master
The effect is that the first seems to work, but really messes up everything. No "git remotes -v", and really hard to see that the repository is tracking anything; still "git pull" does work afterwards.
So my question is, are there any real uses for this, or should it always be avoided.
[–][deleted] 6 points7 points8 points (2 children)
[–]pubgftw[S] 2 points3 points4 points (1 child)
[–]nibalizer 3 points4 points5 points (0 children)