"m...@apollinemike.com" <m...@apollinemike.com> writes: > On Nov 24, 2011, at 9:50 AM, David Kastrup wrote: > >> >> So the question stays: what command did you execute on what branch? >> > > I think I may have just fixed the problem - could you please check? > My branch was called dev/staging, so I executed git push origin dev/staging.
Close, but no banana. Now we have a branch dev/staging in our repository again. I'll remove that presently. Try renaming your branch: git branch -m dev/staging staging (don't know whether you need to checkout a different branch first to be allowed to rename the branch). And after that, git push origin staging should work. -- David Kastrup _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
