Repairing a hole in a down jacket