After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 772544 - Add shell extensions mailing list
Add shell extensions mailing list
Status: RESOLVED FIXED
Product: sysadmin
Classification: Infrastructure
Component: Mailman
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Sysadmins
GNOME Sysadmins
Depends on:
Blocks:
 
 
Reported: 2016-10-07 06:06 UTC by Mario Wenzel
Modified: 2016-10-07 15:44 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Mario Wenzel 2016-10-07 06:06:16 UTC
As discussed by the engagement team, we want a discussion list targeted at shell extension developers.

I don't know whether "shell-extensions" or "gnome-shell-extensions" is a better name for the list.
Comment 1 Andrea Veri 2016-10-07 12:21:52 UTC
Will go for shell-extensions-list, is that OK?
Comment 2 Andrea Veri 2016-10-07 12:24:11 UTC
Or if you feel the chosen name is not enough for external contributors to properly recognize it even gnome-shell-extensions-list would work for me :)
Comment 3 André Klapper 2016-10-07 12:53:54 UTC
If it's targeted at developers, would you like to express that somehow via its name or only via its description? Just wondering if you don't want to get too many "why this extension no work?" and "extensions.gnome.org is borken!" emails.
Comment 4 Mario Wenzel 2016-10-07 13:02:38 UTC
I want to target extension developers and maintainers of extensions. So possibly mostly outside people, therefore "gnome" should be part of the list name.

andré is right as well, but gnome-shell-extensions-dev-list is quite a mouthful. 

So I'd rather live with the odd bug report (which might even be useful to find out about unmaintained extensions). So making contact with the devs saying "we've been contacted here, you might want to join this list."

Gnome-shell-extensions-list would be best then, I think.
Comment 5 Andrea Veri 2016-10-07 15:44:57 UTC
List has been created and password e-mailed to you, Mario.