Gibson City OKs funds to help developer with repair