My house has copper gutters. They are green of course but they are
obviously old and quite solid compared to aluminum gutters. The
vertical section that brings water down to the ground has a hole in it
that lets water escape.

How would you repair this hole?