Hello, I wrote: > I forgot to mention that this script can be used with git filter-branch. > If one has some existing commits that haven't been pushed, one can > convert them over to bool like so: > > git filter-branch --tree-filter rename-bool.sh HEAD...${HASH} Ineiev wrote: > Why not apply it to your local branch instead of PCB master? I have, and it works well here :-D It'd be great if my patch could be merged in. Are there outstanding technical issues with this patch? I think we've worked through all those that have been highlighted. Cheers, Rob
Attachment:
signature.asc
Description: This is a digitally signed message part
_______________________________________________ geda-user mailing list geda-user@xxxxxxxxxxxxxx http://www.seul.org/cgi-bin/mailman/listinfo/geda-user