[bind10-dev] Removing old branches

[Michal 'vorner' Vaner]

Hello

I looked into git branch -r and it seems very long. I think we all forget to
delete our branches after they are merged.

There was some script to remove them semi-automatically. Does anyone have it?
Would it make sense to run it once again?

Wit regards

-- 
The human mind ordinarily operates at only ten percent of its capacity
-- the rest is overhead for the operating system

Michal 'vorner' Vaner
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <https://lists.isc.org/pipermail/bind10-dev/attachments/20130619/f964abf5/attachment.bin>