On 2008/06/20, Rune Zedeler wrote: > Unfortunately I ofcourse cannot push onto origin - (error: remote > 'refs/heads/dev/rune' is not a strict subset of local ref > 'refs/heads/dev/rune'.) > > Should I "push -f" ?
IIRC this is not allowed on git.sv.gnu.org. If you really want to do this (it seems to be the case, although I didn't catch all details of the story), delete dev/run on git.sv.gnu.org git push ssh://[EMAIL PROTECTED]/srv/git/lilypond.git :dev/rune then push as usual, which will recreate branch dev/rune. HTH, John _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
