"Phil Holmes" <address@hidden> writes:
----- Original Message -----
From: "David Kastrup" <address@hidden>
To: <address@hidden>
Sent: Monday, September 09, 2013 9:11 AM
Subject: Re: Patchy email
David Kastrup <address@hidden> writes:
address@hidden writes:
error: some local refs could not be updated; try running
'git remote prune origin' to remove any old, conflicting branches
Well, yes. Either do that, or look up how to prune just dev/janek.
That would likely be
git branch -d -r origin/dev/janek
error: remote branch 'origin/dev/janek' not found
Then either your repository is fine, or its name for the central
upstream is not "origin" or the repository is different from the
repository actually having the problem (environment variables or command
line options?).
--
David Kastrup