sisimh sisimh - 2 months ago 7
Git Question

'dev' does not appear to be a git repository

I am new to git and I saw some people use this blow command:

git push -f dev HEAD:master


and when I try it this is the error I see:


'dev' does not appear to be a git repository


how can I know what dev is? is there a command to show the URL of it?

Answer

dev is not a git keyword. Using git push dev you assume that dev is a git remote known by your git repository.

By default you get only one remote named origin. A proper command will be git push origin

To list all remotes, use git remote -v

You should have a look into remote documentation (Remote example).

Comments