David Kastrup <d...@gnu.org> writes: > philehol...@googlemail.com 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 Don't worry: this is a strictly local operation. The next fetch will repopulate anything that is still present at origin. > He first created this as a branch, then changed it to a branch > directory. "git fetch" is not really happy with that. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
