On Sat, Mar 10, 2012 at 6:41 PM, Tom Hughes <tom at compton.nu> wrote: > I would just delete them once they aren't needed anymore. Delete them locally, you mean? Do you then need to push the deletion? Steve