Developers of Sympa

[Marc Chantreux <address@concealed>]

Acronyms:
GH: github
GHO: github organization

Status:
open to discussion until: 2018-06-01
default: apply

hello people,

i created the sympa-community GHO because the sympa one was already taken by
someone who created a clone back to 2009. I wasn't sure about how successful
the sympa community github migration will be and at the time i really expected
it to be temporary.

how it seems obvious than:

* sympa-community GHO is the official, succesful gathering of the sympa
  community on github.
* there is no need to move
* this old repo should disapear

but @flack never replied to my inviting to join the community and i plane to
write to github staff about the situation.

what i would like to ask is just to

        delete the sympa GHO
        rename the sympa-community GHO to sympa

what do you think?

regards.
marc