Subject: Have I deleted some branches from Git master?
From: Rupert Swarbrick
Date: Tue, 07 May 2013 09:09:49 +0100
Robert Dodier <robert.dodier at gmail.com> writes:
> I thought that there was a branched named bs2 or something like that,
> but it doesn't appear on the web page nor in the output of git ls-remote
> and git branch --list --remote. Maybe it was deleted? or is there still
> another way to find branches?
That was merged into master in commit fd8c6a35
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/dc78cca6/attachment.pgp>;