Yep, or leave it as is. But do try to repaint the area where the paint got chipped.
My last car had a similar dent, with paint chipped off and I left it as is. It did develop minor rust (like half an inch) over the years because I did not get the chipped part painted, but tbh, it did not matter that much during the selling of vehicle - the buyers did check / ask about it but since it was too small, they did not bother much.