sisimh sisimh - 1 year ago 81
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 Source

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).

Recommended from our users: Dynamic Network Monitoring from WhatsUp Gold from IPSwitch. Free Download