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
signature.asc
Description: This is a digitally signed message part
_______________________________________________ geda-user mailing list [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
