Subject: Have I deleted some branches from Git master?
From: Raymond Toy
Date: Mon, 06 May 2013 19:37:15 -0700
On 5/6/13 5:08 PM, Rupert Swarbrick wrote:
> 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.
>
I didn't do anything. :-)
But just in case, I'm keeping my local repo unchanged until I hear
otherwise.
Ray
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 260 bytes
Desc: OpenPGP digital signature
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20130506/46ac4968/attachment.pgp>;