A developer made a branch called 2015/January/Feature1234.
It was later decided that coding should be split into subtasks and branches 
like this:


so we did this:

git branch -d 2015/January/Feature1234

git push origin :2015/January/Feature1234

and we created the new branches from DEV.

Now what happened is I couldn't fetch from origin, because of an error 
message: 2015/January/Feature1234/master could not be created. Probably 
because there seemed to be a branch called 2015/January/Feature1234.
So what I did was try deleting the branch called 2015/January/Feature1234 
from origin in Sourcetree. This gave me a "doesn't exist" error message. 
But after that it seems sourcetree realized the branch was deleted and I 
could fetch from origin and everything seemed to be ok.

What happened here? Any easy / proper way to fix this?(expecting a few 
mails from other developers who can't fetch from origin)

You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to