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?
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