Ремонт на дупка в София