u/AND_Boolean

Anyone know if they are repaving Ridge Rd in Rock Creek Park? They outlined the potholes with spray paint and then dumped a bunch of gravel on the road, but I can't find anywhere what the plan is.