Any opinions on changing this channel name to #ohi...

# ohio-kotlin-users

[emmax]

Any opinions on changing this channel name to #ohio-kotlin-user-group or #ohio-user-group instead of Columbus specific?

I don't think we see enough conversation here to make it distracting for either user group and it might help both of us cross pollinate ideas and grow as communities.

Thoughts?