Re: deleting / renaming git branches

[Francisco Vila]

2010/3/18 Graham Percival <address@hidden>:
> On Thu, Mar 18, 2010 at 02:01:18PM -0700, Patrick McCarty wrote:
>> On Thu, Mar 18, 2010 at 1:25 PM, Graham Percival
>> <address@hidden> wrote:
>> > Could somebody please make
>> >  dev/gperciva
>> > be
>> >  dev/waf?
>>
>> Just to clarify, you want to (a) delete the current dev/waf, and (b)
>> rename dev/gperciva to dev/waf ?
>
> Yes.  Please double-check that dev/waf has nothing useful in it
> first, of course.  :)

Graham: is this waf I have too old? If so, please ignore.

address@hidden:~/source/lilypond$ git branch
* lilypond/translation
  master
  waf
  web-gop
address@hidden:~/source/lilypond$ git checkout waf
Checking out files: 100% (2334/2334), done.
Switched to branch 'waf'
Your branch and 'origin/dev/waf' have diverged,
and have 4 and 806 different commit(s) each, respectively.
address@hidden:~/source/lilypond$ git log
commit e6d25984aa70d76d580f7bb159026d77e9a058f4
Author: John Mandereau <address@hidden>
Date:   Sat Sep 12 16:23:43 2009 +0200

    Add waf configure checks for Texinfo

    Also fix configure check for LilyPond binary

-- 
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com