>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
>> Is numbering branches the best way to give shortcuts to them? >> Couldn't you declare shortcuts in the branch names somehow? Martin> How? They are completely arbitrary user-chosen strings. Martin> Of course in principle you could implement taking the first Martin> letter, unless reserved already in which case the second Martin> letter, etc. Easy with find_first_not_of. This is not Martin> guaranteed to finish however (but in practice it usually will) You are right, numbers are good enough. The patch is OK with me. JMarc
