Import plugman history: remove files that will stay in plugman repo