tcommit: forget a branch if the user deletes it