Thomas Morley <thomasmorle...@gmail.com> writes:

> accidently I permanently deleted the branch where the patch for issue
> 5099 was.

That would be a rather difficult feat (you don't do things like that
"accidentally" with Git since you have to work very hard to do them,
with a set of very explicit commands unless you are going to wait for
several months as part of the recipe).

Try

git reflog

and write down the hash for the first occurence of your branch in the
list (which would be last in time).

Then do

git branch hash-that-you-wrote-down

and the branch is back in life.  Of course, since this will be an
unpublished branch, you have to do this in the repository where you
"permanently" deleted the branch.

Git tends to keep "permanently deleted" stuff around for 3 months or so
before it really removes them for good.

-- 
David Kastrup

_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to