[Tagging] Deprecate sport=cricket_nets

[Dave F]

I don't

sport=cricket_nets is fine. it's clear. it's specific. It doesn't 
interfere with any other tags.
The argument that it's not, technically, a sport & therefore inaccurate 
is... meh.

DaveF

On 30/01/2023 13:54, Illia Marchenko wrote:
> Hello everyone,
> I suggest deprecating sport=cricket_nets on the wiki and recommend 
> leisure=practice_pitch & sport=cricket as a replacement, since sport=* 
> generally refers to a sport, not a physical infrastructure.
> Regards,
> Illia.