Subject: Have I deleted some branches from Git master?
From: Rupert Swarbrick
Date: Tue, 07 May 2013 01:08:39 +0100
Robert Dodier <robert.dodier at gmail.com> writes:
> I think I might have dorked up the Git repo. In the interest of
> 'cleaning up' my local Git repo, I executed these commands:
>
> $ git branch -r -d origin/parse-info
> $ git branch -r -d origin/branch-5_29
> $ git branch -r -d origin/branch-5_28
> $ git branch -r -d origin/branch-5_30
>
> Now I don't see them in listed by git ls-remote. Have I actually removed
> them from the master repo? If so, is there a way to restore them?
>
> Profuse apologies if I've really messed up --
Heh, that makes my rebasing snafu from a couple of weeks ago slightly
less embarrassing! :-) It looks like everything is back (thanks,
Ray?). Let me know if there's anything I can do to help.
Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20130507/53f68bcb/attachment.pgp>;