Not sure if the petrol and diesel mix properly or if they stay separated like oil and water, but £2.90 isn't even half a gallon so I'd just brim the tank and keep refilling at the half-full mark for the next few tankfuls.

It isn't an issue at all in a "traditional" diesel engine, but the lack of lubrication in petrol does for the new high pressure systems.