[Tagging] Adding leisure=sports_hall to leisure=sports_centre page

[Joseph Eisenberg]

(Sent to you directly since I don't want to add too many posts to the
mailing list)

> +1, this is exactly how I see it as well

Is this how the tag has been used in Rome and in other areas that you
know? I'd like to add this to the page Tag:leisure=sports_hall to help
clarify how it's different from a sports centre, but I want to confirm
that this is the "de facto" meaning.

Joseph

On 9/7/19, Martin Koppenhoefer <dieterdreist at gmail.com> wrote:
>
>
> sent from a phone
>
>> On 6. Sep 2019, at 13:47, Chris Hill <osm at raggedred.net> wrote:
>>
>> To me a sports centre is a place that's dedicated to sport in its own
>> space or grounds. It may have outdoor pitches,courts etc as well as indoor
>> provisions. I think it could have a gym, i.e. a space with gym equipment
>> too.
>>
>> A sports hall, to me, is a building in an environment that is not wholly
>> about sports,so a building in school grounds or in a business complex. It
>> has more than just a gym room.
>>
>
>

>
> Cheers Martin